Stack Exchange
sign up | log in |

Computer Science beta
  • Questions
  • Tags
  • Tour
  • Users
  • Ask Question

Chris Pressey

less info
meta site favicon meta user | stack exchange network profile network profile
66 reputation
6
bio website catseye.tc
location
age
visits member for 5 months
seen Dec 16 '12 at 19:16
stats profile views 11

My main interest is in the design of pathological programming languages.
66 reputation
 bio website catseye.tc visits member for 5 months
6 badges
 location seen Dec 16 '12 at 19:16
summary answers questions tags badges favorites bounties reputation activity

2 Answers

votes activity newest
2
 Creating artificial NP-Complete problems
1
 Directed union-find

66 Reputation

+5 Lower bound on size of proof that a list of integers is sorted
+10 Directed union-find
+5 Are any problems in P known to have logarithmic-time-verifiable certificates?
+10 Creating artificial NP-Complete problems
view more

2 Questions

votes activity newest
3
 Lower bound on size of proof that a list of integers is sorted
1
 Are any problems in P known to have logarithmic-time-verifiable certificates?

10 Tags

3
algorithms × 2
0
proof-complexity
2
np-complete
0
proof-techniques
1
graphs
0
descriptive-complexity
1
search-algorithms
0
nondeterminism
0
lower-bounds
0
complexity-theory

3 Accounts

Mathematics Stack Exchange Mathematics 158 rep 11
Theoretical Computer Science Stack Exchange Theoretical Computer Science 140 rep 16
Computer Science Stack Exchange Computer Science 66 rep 6

6 Badges

recent class name
 Revival  Teacher
 Commentator  Editor
 Supporter  Student

0 Active bounties

active offered earned
This user has no active bounties

2 Votes Cast

all time   by type  
2 up 0 question
0 down 2 answer
user feed
about faq badges blog chat data legal privacy policy jobs advertising info mobile contact us feedback
Technology Life / Arts Culture / Recreation Science Other
  1. Stack Overflow
  2. Server Fault
  3. Super User
  4. Web Applications
  5. Ask Ubuntu
  6. Webmasters
  7. Game Development
  8. TeX - LaTeX
  1. Programmers
  2. Unix & Linux
  3. Ask Different (Apple)
  4. WordPress Answers
  5. Geographic Information Systems
  6. Electrical Engineering
  7. Android Enthusiasts
  8. IT Security
  1. Database Administrators
  2. Drupal Answers
  3. SharePoint
  4. User Experience
  5. Mathematica
  6. more (14)
  1. Photography
  2. Science Fiction & Fantasy
  3. Seasoned Advice (cooking)
  4. Home Improvement
  5. more (13)
  1. English Language & Usage
  2. Skeptics
  3. Mi Yodeya (Judaism)
  4. Travel
  5. Arqade (gaming)
  6. Bicycles
  7. Role-playing Games
  8. more (22)
  1. Mathematics
  2. Cross Validated (stats)
  3. Theoretical Computer Science
  4. Physics
  5. more (7)
  1. Stack Apps
  2. Meta Stack Overflow
  3. Area 51
  4. Stack Overflow Careers
site design / logo © 2013 stack exchange inc; user contributions licensed under cc-wiki with attribution required
rev 2013.5.21.692