Badge

 Editor First edit.

This badge has been awarded 1450 times. Recently awarded to:
1d ago
(post deleted or otherwise unavailable) — Listing 15117
2d ago
Approximation algorithm for finding the maximum common subgraph in two DAGs — Untitled 1105
may 18 at 11:25
A simple programming language? — Number47 213
may 15 at 21:41
(post deleted or otherwise unavailable) — Adrian 11
may 14 at 12:11
Finding a hamiltonian cycle in $G'$ given a hamiltonian cycle in $G$ — mikeazo 1364
may 14 at 8:59
Pushdown automation where number of letter `a` is at least as twice as letter `b` in the word [migrated] — user2380858 11
may 14 at 4:02
An algorithm to compute the number of paths of length at most k — Federico Lebrón 1784
may 13 at 23:06
(post deleted or otherwise unavailable) — Belgi 1214
may 13 at 7:01
Locally monotone Boolean function — Igor Shinkar 1086
may 12 at 23:03
Smoothed analysis of approximation algorithms — Aaron Schild 738
may 11 at 13:16
(post deleted or otherwise unavailable) — Fayez Abdlrazaq Deab 62
may 11 at 12:06
Show that Vertex-Cover is NP-complete, using Stable-Set [closed] — Toralf Westström 13
may 9 at 13:27
(post deleted or otherwise unavailable) — Tim 12
may 8 at 19:17
Is it possible to simulate a Linear Bounded Automata with logic circuits where links have min-max bounded delays? I need a reference in the literature — Marco 62
may 8 at 5:03
Efficient and simple randomized algorithms where determinism is difficult — chax 532
may 7 at 21:48
About balancing subproblems [migrated] — user75300 12
may 7 at 19:07
directed or bidirected in relation to mssp (Multiple source shortest path) — Adrian De Barro 72
may 7 at 8:04
Complexity of interval cover problem — Torsten Mütze 362
may 7 at 0:27
A generalization of the geometric closest pair problem to balls — Eric 253
may 2 at 6:39
VC dimension for ellipsoidal classifiers — Adam 1112
may 1 at 20:21
Finding the shortest path in the presence of negative cycles — jleahy 1135
apr 28 at 7:24
Do combinatorial discrepancy upper bounds lead to smaller $epsilon$-nets (as with $epsilon$-samples)? — Mohamadreza 284
apr 27 at 18:15
What is a Closure (hull) operator? [closed] — Shokodemon 11
apr 26 at 15:47
Submodular functions: reference request — Sagar Kale 412
apr 25 at 0:19
(post deleted or otherwise unavailable) — kba 1012
apr 23 at 23:32
Confusion related to L1 and L2 svm — user34790 783
apr 23 at 8:11
Counting small terms in a determinant calculation over polynomials (counting spanning trees by weight) — Rasto S. 445
apr 22 at 2:02
(post deleted or otherwise unavailable) — Rodrigo 1013
apr 21 at 16:45
Avarage classes for PP (probabilistic polynomial time) and PPT machines running in expected polytime — Grandpa 1034
apr 20 at 11:43
How to choose a correct prior — YAK 93
apr 19 at 9:20
Solving system of linear inequalities [migrated] — Kia.celever 11
apr 18 at 15:59
Turing machines question [closed] — Skien 11
apr 18 at 6:33
Find the remainder of a large fixed polynomial when divided by a small unknown polynomial — Erno Lancaster 31
apr 15 at 19:37
(post deleted or otherwise unavailable) — Michael 11
apr 14 at 7:59
(post deleted or otherwise unavailable) — cerebrou 11
apr 13 at 18:23
How can you prove that a problem is not solvable in a certain time complexity? — Tiddo 1255
apr 13 at 6:03
Small graph with gap between chromatic and vector chromatic number? — Thore Husfeldt 22529
apr 12 at 16:32
In what manner and to which degree would programming on a hypothetical ternary computer differ than from binary computers? — minopret 1093
apr 12 at 14:12
Examples of the price of abstraction? — Erel Segal Halevi 1013
apr 12 at 10:52
Verifying consistency of strict and non-strict partial orders constraints — bitonic 133
apr 11 at 19:11
Formal representation of an abstraction hierarchy — mhelvens 1466
apr 11 at 18:01
(post deleted or otherwise unavailable) — fran.aubry 11
apr 11 at 7:50
(post deleted or otherwise unavailable) — Eleanore 12
apr 9 at 19:22
Witnesses for mathematical software — Anush 564
apr 5 at 7:45
(post deleted or otherwise unavailable) — Four_FUN 11
apr 4 at 10:30
(post deleted or otherwise unavailable) — Oliver 12
apr 4 at 7:59
Computing unique subset intersections — Sim 1133
apr 3 at 21:58
(post deleted or otherwise unavailable) — user15415 12
apr 3 at 10:32
Is there a list of canonical problems in distributed systems? — marcmagransdeabril 614
apr 2 at 14:11
How should I think about proof nets? — Beniamino Accattoli 712
apr 2 at 12:36
Follow-the-leader algorithm in swarm formation: literature on the subject? — David Chouinard 1185
apr 2 at 9:15
Is the gist of English (or any equally familiar natural language) context-free? [closed] — vermiculus 1031
apr 2 at 5:03
Solid applications of category theory in TCS? — tcamps 32
mar 30 at 12:19
How efficiently can circuits over sets of naturals be transformed to boolean circuits? — bhitov 12
mar 28 at 14:45
(post deleted or otherwise unavailable) — Atilla Ozgur 1012
mar 28 at 5:20
Algorithm Suggestion for Scoring System - weighted solution — Xaqron 992
mar 28 at 4:30
(post deleted or otherwise unavailable) — user62089 1014
mar 27 at 22:34
Approximation algorithm for graph problem — Kuhndog 454
mar 27 at 21:39
How efficiently can circuits over sets of naturals be transformed to boolean circuits? — Jonathan Naysmith 362
mar 27 at 17:44
(post deleted or otherwise unavailable) — Chill 12
1 2 3 4 5 … 25