Typo in the calculus of constructions paper?

8yr ⋅

⋅

ADVERTISEMENT

How do the state-of-the-art pathfinding algorithms for changing graphs (D*, D*-Lite, LPA*, etc) differ?

12yr ⋅

⋅

Super Mario Galaxy problem

14yr ⋅

⋅

Monotone arithmetic circuit complexity of elementary symmetric polynomials?

9yr ⋅

⋅

The randomized query complexity of the conjoined trees problem

10yr ⋅

⋅

NP-Completeness of the decision problem for the generalized 15-puzzle

12yr ⋅

⋅

Snake reconfiguration problem

10yr ⋅

⋅

For a given binary-search tree obtain an isomorphic splay tree

8yr ⋅

⋅

Name the graph class: Disjoint union of a clique and an independent set

9yr ⋅

⋅

Exact formula for the number of spanning trees of a rectangle

9yr ⋅

⋅

Place of tree-adjoining grammars in the hierarchy of tree grammars

7yr ⋅

⋅

Rounding to minimise the sum of errors in pairwise distances

12yr ⋅

⋅

DFA intersection algorithm for special cases

10yr ⋅

⋅

Exact number of comparisons to compute the median

12yr ⋅

⋅

Minimum amount of colors preventing an equilateral uniformly colored subtriangle

11yr ⋅

⋅

How to find the cycles which, together, involve the biggest number of non-shared edges in a directed graph?

13yr ⋅

⋅

Is the collapse of $PH$ known to extend downward to classes in-between its levels?

11yr ⋅

⋅

ADVERTISEMENT

Computational complexity of quantum optics

13yr ⋅

⋅

Finding a cell in an arrangement of simplices

8yr ⋅

⋅

Assignment problem with multiple workers for each job

9yr ⋅

⋅

Partitioning graphs while minimizing inter-partition edges

11yr ⋅

⋅

Decidability of fractal maze

13yr ⋅

⋅

On the size of P4-transversals of graphs

10yr ⋅

⋅

Uses of quasi-PERs/difunctional relations/zig-zag relations?

12yr ⋅

⋅

Chromatic number of G+v where G is a cograph

11yr ⋅

⋅

Quantum GCD circuit: On reversibility and clearing ancillae

8yr ⋅

⋅

Paths and Probabilities for a Random Walk on a Graph

9yr ⋅

⋅

Do the undecidable attributes of P pose an obstruction to deciding P versus NP? (answer: maybe)

13yr ⋅

⋅

Weird claim of graphclasses about complexity of domination

10yr ⋅

⋅

Solving a Number-Hopper Maze

14yr ⋅

⋅

Existing technique to detect the clique and biclique cover the edges in a graph?

10yr ⋅

⋅

Proofs, Barriers and P vs NP

14yr ⋅

⋅

Maximum cardinality subgraphs meeting a Jaccard overlap threshold

8yr ⋅

⋅

Deterministic Parallel algorithm for perfect matching in general graphs?

14yr ⋅

⋅

Locating a point inside a union of simple polygons

10yr ⋅

⋅

Find the cheapest cycle through two points on a rectangular grid

10yr ⋅

⋅

ADVERTISEMENT

What type of automaton is Google's Turing Doodle?

12yr ⋅

⋅

The complexity of the puzzle game Net

12yr ⋅

⋅

Two Hamiltonian path problem variants

11yr ⋅

⋅

Degree sets for linear extension graphs

14yr ⋅

⋅

Is the following problem in P or in NP?

10yr ⋅

⋅

Reader, Writer monads

14yr ⋅

⋅

The relationship between QCMA and QMA in the Turing and Communication model

10yr ⋅

⋅

Finding spanning spiders

13yr ⋅

⋅

Source of Turing-machine illustration

10yr ⋅

⋅

Die roll problem

13yr ⋅

⋅

Is This Scheduling Problem NP-Hard?

11yr ⋅

⋅

ADVERTISEMENT

Costs of performing approx. nearest neighbor search in a skip quadtree

13yr ⋅

⋅

One-shot quantum hitting times

14yr ⋅

⋅

The existence of planar distance preserver?

14yr ⋅

⋅

NP-completeness of a problem using a T-gadget

13yr ⋅

⋅

Lower bounds on the Threshold function

14yr ⋅

⋅

Can this randomized greedy algorithm be made online? Or being proved impossible?

13yr ⋅

⋅

Tree width of a particular graph

13yr ⋅

⋅

Is the D-Wave architecture a close implementation of quantum interactive proof?

11yr ⋅

⋅

Need an efficient algorithm to visit all nodes of a graph, revisiting edges and nodes is allowed

13yr ⋅

⋅

Can the optimal minimum cost two-commodities flow be fractional on this special case?

10yr ⋅

⋅

Follow-the-leader algorithm in swarm formation: literature on the subject?

12yr ⋅

⋅

minimal cycles in undirected graph

11yr ⋅

⋅

What is this notation style called?

11yr ⋅

⋅

Detecting/Locating endpoints of a bridge-like structure in images using Graph Theory

14yr ⋅

⋅

ADVERTISEMENT

Is this graph transformation unique up to isomorphism? [Answer:NO]

14yr ⋅

⋅

Dealing with duplicates in Genetic Algorithm

13yr ⋅

⋅

Difference between Stencil -structures and Cellular Automata Category-theoretically?

13yr ⋅

⋅

Landauer's principle internals - how it works

13yr ⋅

⋅

What data structures exist for fast calculation of distances between multi-dimensional points

13yr ⋅

⋅

General definitions for mixed graphs? (degrees, connectivity, etc)

14yr ⋅

⋅

Weighted cycles in weighted line graphs

14yr ⋅

⋅