Realz Slaw

Member for 11 years
Last seen more than a week ago

GitHub
$$F^{A^{R^{R^{R^{R^{A^{W^{A^{Y}}}}}}}}}$$

Summary

Reputation

6,181

6.2k
5.9k
5.7k

2020
2021
2022
2023

Next tag badge

complexity-theory

102/100 score

14/20 answers

Badges

32

70

Newest

Yearling

Next badge

0/1

Excavator

Answers

View all 71 answers

Score Activity Newest

22

Distinguish Decision Procedure vs SMT solver vs Theorem prover vs Constraint solver

Oct 13, 2013

22

Is Dominosa NP-Hard?

Nov 15, 2013

18

Proving that the conversion from CNF to DNF is NP-Hard

Sep 10, 2012

16

Tiling an orthogonal polygon with squares

Nov 7, 2013

14

What is "memory coalescing"?

Nov 21, 2013

Questions

View all 30 questions

Score Activity Newest Views

21

What classes of data structures can be made persistent?

Nov 22, 2013

15

Comparing rational numbers

Oct 23, 2012

15

Shortest non intersecting path for a graph embedded in a euclidean plane (2D)

Oct 20, 2013

12

Is there a generalization of Huffman Coding to Arithmetic coding?

Nov 8, 2015

9

Finding the k-shortest path between two nodes

Dec 11, 2013

Tags

View all 97 tags

algorithms

151

Score

44

posts

complexity-theory

102

Score

18

posts

satisfiability

77

Score

10

posts

reference-request

64

Score

16

posts

np-hard

58

Score

8

posts

Reputation

This user has no recent positive reputation changes.

Badges

View all badges

This user doesn’t have any gold badges yet.

32

silver badges

Booster

× 3

Nov 3, 2013
Taxonomist

Apr 13, 2019
Civic Duty

Oct 6, 2013

70

bronze badges

algorithms

Mar 23, 2016
Tag Editor

Oct 23, 2012
Talkative

Oct 8, 2013

Accounts

View all 75 accounts

Computer Science

6,181
32
70

3,138
1
24
38

652
7
21

Theoretical Computer Science

295
4
11

276
6

Active bounties (0)

Active Offered Earned

This user has no active bounties

Votes cast

968

upvotes

6

downvotes

531

question votes

443

answer votes