MATH
Login Or Sign up

List Question

15
1.9k
Views

How do I show 3-SAT is decidable?

Published on
#computer-science #regular-language #turing-machines #satisfiability #decidability
150
Views

How do I calculate the upper bound probability using Hoeffding's Ineqaulity?

Published on
#computer-science #mathematical-modeling #computational-mathematics #data-analysis #data-mining
546
Views

What's the multiplication in the continuation monad?

Published on
#category-theory #computer-science #monads
369
Views

Simple (?) NP-hard reduction

Published on
#algorithms #computer-science #computational-complexity #np-complete
1.5k
Views

The Language {xx}, of any string followed by another copy of the same string, is not Context Free. Using Pumping Lemma, through 13 cases.

Published on
#computer-science #context-free-grammar #pumping-lemma
34
Views

All graphs that are subgraphs of a fixed Graph $G$ is in $P$ or in NPC?

Published on
#graph-theory #computer-science #np-complete
63
Views

can the union of regular languages be non-Context-Free

Published on
#computer-science #automata #context-free-grammar
58
Views

Verify my solution to a big O problem since my intuition is telling me something else

Published on
#solution-verification #asymptotics #computer-science
31
Views

Comparative Function for reals

Published on
#computer-science #binary-operations
152
Views

Proving a class of languages is closed under union when it closed under concatenation, (inverse) homomorphic images, and intersections.

Published on
#logic #computer-science #formal-languages #regular-language #semigroup-homomorphism
36
Views

reconstruction of a geometric graph

Published on
#geometry #graph-theory #algorithms #terminology #computer-science
55
Views

Reformulating sum-equation to matrix/vector form.

Published on
#optimization #summation #computer-science #matrix-equations
55
Views

Optimal Edition from string $X$ to string $Y$

Published on
#induction #computer-science #dynamic-programming
38
Views

When can a function be written as an evaluation rule?

Published on
#real-analysis #functions #computer-science
227
Views

Unnested universes in type theory

Published on
#logic #computer-science #proof-theory #type-theory #lambda-calculus

Trending Questions

Popular # Hahtags

second-order-logic numerical-methods puzzle logic probability number-theory winding-number real-analysis integration calculus complex-analysis sequences-and-series proof-writing set-theory functions homotopy-theory elementary-number-theory ordinary-differential-equations circles derivatives game-theory definite-integrals elementary-set-theory limits multivariable-calculus geometry algebraic-number-theory proof-verification partial-derivative algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.