Network profile

delete000

Reputation

666

top 29% overall

2018
2019
2020
2021

Top tag

graph-theory

Next privilege

1,000 Rep.

See votes

Badges

Newest

Yearling

Next badge

11/30

Impact

0 posts edited

0 helpful flags

323 votes cast

12 Questions

Votes Activity Newest Views

votes

answer

266

views

Fast classical simulation of quantum algorithms

Sep 12 '18 at 9:49 Frédéric Grosshans 783

votes

answer

220

views

How to benchmark #2-SAT counting algorithms?

reference-request sat counting-complexity random-k-sat

Oct 9 '17 at 16:02 smengel 136

votes

answers

views

Counting on grid graphs

cc.complexity-theory complexity-classes counting-complexity

Aug 7 at 21:40 delete000 666

votes

answers

views

Complexity of bounded degree full contraction

cc.complexity-theory graph-theory graph-algorithms np-hardness graph-minor

Mar 23 '18 at 22:35 delete000 666

votes

answers

261

views

Efficient way to generate random planar cubic bipartite graphs

cc.complexity-theory graph-theory graph-algorithms planar-graphs bipartite-graphs

Feb 2 '18 at 15:43 delete000 666

votes

answers

134

views

Reduce $m$-clause 3SAT to PLANAR-3SAT in $O(m^{2-\varepsilon})$

cc.complexity-theory graph-theory reductions polynomial-time boolean-formulas

Feb 4 '18 at 17:47 delete000 666

votes

answers

113

views

Decomposition of rectangular relations

lo.logic boolean-functions relational-structures

May 9 '18 at 22:01 delete000 666

votes

answer

178

views

Natural (well studied) classes of graphs with treewidth $\Theta(n^\alpha)$ with $1/2 < \alpha < 1$

graph-theory treewidth

Feb 8 '18 at 5:20 Sariel Har-Peled 9,363

votes

answers

views

Heuristics for exact #3COLORING close to the 3-colorability threshold

counting-complexity graph-colouring

Oct 3 '18 at 15:24 delete000 666

vote

answer

172

views

Count satisfying assignments of CNF formulas over all possible negation assignments

cc.complexity-theory approximation-algorithms sat counting-complexity

Jun 17 '19 at 13:46 Emil Jeřábek 12.8k

vote

answers

108

views

Growth of random square lattice trees

co.combinatorics tree statistical-physics asymptotics

Sep 1 '18 at 22:49 delete000 666

votes

answers

views

Given $n\times n$ matrix $A$ with integer entries, find #$k$SAT formula that yields $\mathrm{perm}(A)>0$

sat counting-complexity reductions permanent

May 13 '19 at 21:20 delete000 666

Stack Exchange Network

current community

your communities

more stack exchange communities

Next privilege

Next badge

12 Questions

Fast classical simulation of quantum algorithms

How to benchmark #2-SAT counting algorithms?

Counting on grid graphs

Complexity of bounded degree full contraction

Efficient way to generate random planar cubic bipartite graphs

Reduce $m$-clause 3SAT to PLANAR-3SAT in $O(m^{2-\varepsilon})$

Decomposition of rectangular relations

Natural (well studied) classes of graphs with treewidth $\Theta(n^\alpha)$ with $1/2 < \alpha < 1$

Heuristics for exact #3COLORING close to the 3-colorability threshold

Count satisfying assignments of CNF formulas over all possible negation assignments

Growth of random square lattice trees

Given $n\times n$ matrix $A$ with integer entries, find #$k$SAT formula that yields $\mathrm{perm}(A)>0$