Badge

 Scholar Asked a question and accepted an answer.

This badge has been awarded 799 times. Recently awarded to:
15h ago
Complexity of $Ax\geq 0$ — wece 3336
17h ago
Sublinear query time for the $i$th element of an array after some additions? — mohammed essam 1134
19h ago
“At least one” clause in Relational Algebra — Balaam 84
1d ago
Lower-bound complexities for finding common elements between two unsorted arrays — Bakuriu 1135
1d ago
Graphic file formats for visual computing [closed] — mattosmat 32
1d ago
Randomized Algorithms Probability — Brant Kapple 183
1d ago
Randomized convex hull — Alejandro Piad 1134
2d ago
Reducing from Subset Sum — Mus 113
2d ago
Design a Turing Machine Checking if Apples and Bananas are Even — George Robinson 82
may 21 at 8:33
Load balancing. Why not use priority queues? — Thomas 82
may 20 at 20:34
DFA: Can the set of States Q be empty by definition? — user8272 112
may 20 at 14:51
Converting (math) problems to SAT instances — Dchris 1486
may 19 at 16:33
Shortest paths candidate — ctlaltdefeat 153
may 18 at 13:31
Equivalence of logical Formula (Kripke structures) — user8241 82
may 18 at 4:59
The sum of all integers less than n with a zero — Alex Su 162
may 17 at 17:51
What makes Bayesian Networks decomposable into joint trees? — seteropere 15615
may 16 at 17:23
Are all databases reducible to this ultimate abstract database design? — SG1 1083
may 16 at 17:08
Realtime hardware/software versus PC software/hardware, how are these distinct and alike? [closed] — BumSkeeter 1163
may 16 at 15:02
Please explain “decidability” and “verifiability” — MMA 1235
may 16 at 8:10
Is “Find the shortest tour from a to z passing each node once in a directed graph” NP-complete? — urzeit 233
may 16 at 7:10
Understanding LEADING and TRAILING operations of an operator precedence grammar — Likhit 132
may 15 at 17:40
Reducing from Hamiltonian Cycle problem to the Graph Wheel problem cannot be proved vice versa [closed] — Ronnie 11
may 15 at 17:30
Example of a non-context free language that nonetheless CAN be pumped? — user2329564 233
may 15 at 17:30
Shortest sub-sequence of one string, that's not a sub-sequence of another string — Mike 405
may 15 at 1:45
Definition of “K-fairness” with respect to concurrency? — AndrewD 185
may 14 at 6:24
Can we understand SVM without knowledge of Machine Learning [closed] — Iamcool 232
may 13 at 16:04
How does a program execute with respect to the operating system? — Fahad Uddin 1084
may 13 at 9:47
Show that Vertex-Cover is NP-complete, using Stable-Set — Toralf Westström 153
may 11 at 15:17
Amdahl's Law and Computer Science — bam54 133
may 11 at 11:57
How can Computer Science theories and inquiries be resolved? — Carter Pape 1334
may 7 at 15:47
Is there a binary search tree datastructure which can avoid becoming badly weight-balanced? — Niel de Beaudrap 2,373318
may 7 at 15:37
How can lazy learning systems simultaneously solve multiple problems? — Shedeki 212
may 6 at 19:26
Clique in P when the input graph's connected components have at most $3\log|V|$ vertices? — Dominik_svk 154
may 6 at 14:14
change the info part of each node in binary tree [closed] — Koka 62
may 6 at 13:59
Disk scheduling and process scheduling — joker 33
may 5 at 16:38
Prove that inserting $n$ sorted values in to an AVL using AVL insertion is $\Theta\left (n \log \left ( n \right ) \right )$ — Scis 274
may 5 at 16:28
Proving that language is regular or not regular — xan 1384
may 5 at 14:43
Which theoretical parallel model is closest to CUDA? — isti_spl 184
may 5 at 13:22
NP complete problems that are solvable in polynomial time if the input (e.g. number of variables) is fixed? — user2145167 1485
may 5 at 13:07
Optimal upper bound on the number of states in the complement of an NFA — Bryan Olivier 1685
may 5 at 10:01
Chazelle's discrepancy book: greedy method — András Salamon 604119
may 3 at 8:04
Weak Precedence Grammar and Parsing — nuraureum 31
may 2 at 11:46
Generating 3SAT circuit for Integer factorization example — Jane 132
may 1 at 22:19
Show that this language is in NP $\cap$ coNP — wemblem 182
may 1 at 19:26
Upper bound on register machine contents — tigermatt 303
may 1 at 19:01
What type of formal notation is being used here to represent functional algorithms? — David Kaczynski 1136
may 1 at 16:51
Is linear-time reduction symmetric? — Bruce 1133
apr 30 at 19:54
Formalisms in concurrent and/or distributed programming? — adelbertc 1234
apr 29 at 10:24
Finding a tree that approximates the distances and total weights — Fayez Abdlrazaq Deab 1327
apr 29 at 8:08
Particularly Tricky Recurrence Relation (Master's Theorem) — Kyra Westwood 11
apr 28 at 7:19
Why we need EEPROM in this micro-controller — AlbertK 182
apr 28 at 7:04
Can all permutations of a set or string be generated in O(n log n) time? — Sam Vernalis 62
apr 27 at 18:00
Is there a name for complement of recursively enumerable set? — Juris 1133
apr 27 at 15:14
Proving language in Space Complexity — Shadower2222 233
apr 27 at 10:48
Prove that $L_1$ is regular if $L_2$, $L_1L_2$, $L_2L_1$ are regular — Alejandro Sazo 34517
apr 27 at 3:41
Pumping lemma for a finite language [duplicate] — MIkhail 1063
apr 26 at 20:54
How are two layer feed-forward neural networks universal? — blackpanther 1204
apr 26 at 15:43
Proving that Turing Machine M runs in time $O(2^{dn})$ — HappyCry 183
apr 26 at 9:51
Finding the grammar type of the programming language — m0nhawk 169110
apr 26 at 0:59
Prove NP-completeness of deciding satisfiability of monotone boolean formula — nat 182
1 2 3 4 5 … 14