MATH
Login Or Sign up

List Question

15
54
Views

Why is the time complexity of checking parity of integer $O(1)$?

Published on
#algorithms #asymptotics #computer-science #computational-complexity
361
Views

How to prove that the following simplification rule is satisfiability-equivalent?

Published on
#logic #first-order-logic #computational-complexity #boolean-algebra #satisfiability
46
Views

Does finding feasible solution to set cover problem is as hard as SAT problem?

Published on
#computational-complexity #integer-programming #satisfiability #boolean
46
Views

Big O complexity of $T(n)=2T(n/2)+\log(n)$

Published on
#asymptotics #computational-complexity
30
Views

best search method in the complex plane

Published on
#complex-numbers #computational-complexity #searching
45
Views

Complexity and fast Solution for "probing subset problem"?

Published on
#optimization #computational-complexity
52
Views

Resolution Exponential Memory Blowup

Published on
#algorithms #first-order-logic #computational-complexity #np-complete #satisfiability
49
Views

What is the time complexity of multiplying two matrices over an arbitrary ring?

Published on
#matrices #computer-science #computational-complexity #computational-mathematics #computational-algebra
71
Views

What are a set of example of tasks or problems where the Kolmogorov Complexity is Known -- ideally numerical values can be obtained?

Published on
#computer-science #computational-complexity #machine-learning #computability #kolmogorov-complexity
33
Views

Does for any program it exists a program that is complexitively independant?

Published on
#computational-complexity
97
Views

Computational Complexity of Equational Logic

Published on
#logic #computational-complexity #proof-theory #universal-algebra #computer-assisted-proofs
34
Views

Designing a DFA with n States for Maximum L* Learning Rounds

Published on
#algorithms #computer-science #computational-complexity #formal-languages #automata
53
Views

Is it possible to find something better than binary search for this problem?

Published on
#computational-complexity #computational-mathematics #searching
28
Views

Fast algorithms for computing $AGA^T$ with $G$ PSD symmetric.

Published on
#linear-algebra #matrices #algorithms #computational-complexity #recursive-algorithms
22
Views

Complexity of symbolic computation of matrix inverse?

Published on
#linear-algebra #soft-question #computational-complexity

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.