Theoretical Computer Science
dspyz
  • Member for 8 years, 10 months
  • Last seen this week
Profile Activity

Summary

Questions

View all 14 questions
Votes Activity Newest Views
10
Is Almost-2-SAT NP-hard?
Dec 19 '13
6
Does the 0-1 principle apply to merge networks?
Aug 10 '14
6
Would an optimal sorting network ever have to swap two numbers the "wrong" way
Jun 26 '14
5
Worst case ratio between minimum clique cover and maximum independent set
Feb 5 '14
4
Can a normal form term be extensionally equivalent to a term with no WHNF?
2 days ago

Answers

View all 8 answers
Votes Activity Newest
10
Is Almost-2-SAT NP-hard?
Dec 19 '13
4
Can a normal form term be extensionally equivalent to a term with no WHNF?
2 days ago
4
M-clique covers in complete graphs
Jan 16 '14
19
Are there any problems whose best known algorithm has run time $O\left(\frac{f(n)}{\log n}\right)$
Feb 3 '13
9
Number of cycles in a Graph
Sep 27 '13

Tags

View all 28 tags
9
Score
3
Posts
8
Score
5
Posts
8
Score
2
Posts
5
Score
3
Posts
4
Score
7
Posts

Badges

View all badges
This user doesn’t have any gold badges yet.
4
silver badges
13
bronze badges

Bookmarks

View all 0 bookmarks
Votes Activity Newest Views Added
This user has no bookmarked questions.

Reputation

+20
Can a normal form term be extensionally equivalent to a term with no WHNF?
+40
Can a normal form term be extensionally equivalent to a term with no WHNF?
+10
Translating pure literal elimination into rup
+10
Find all paths between specially paired nodes in a DAG in linear time

Accounts

View all 36 accounts
Stack Overflow
  • 5,010
  • 2
  • 20
  • 55
Code Golf
  • 915
  • 6
  • 18
Theoretical Computer Science
  • 896
  • 4
  • 13
Science Fiction & Fantasy
  • 875
  • 7
  • 12
Meta Stack Exchange
  • 861
  • 5
  • 6

Active bounties (0)

View all 0 bounties
Active Offered Earned
This user has no active bounties

Votes cast

View all 29 votes
28
up votes
1
down votes
10
question votes
19
answer votes

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.