Tag: big-picture


Found 85 results for 'big-picture'.


1) graph-theory - The origin of the notion of treewidth
2) reference-request - Uses of algebraic structures in theoretical computer science
3) cc.complexity-theory - Should reductions make us more or less optimistic for the tractability of a problem?
4) cc.complexity-theory - Communication Complexity ...Classes?
5) machine-learning - Discerning the best model for a problem
6) cc.complexity-theory - Why is 2SAT in P?
7) cc.complexity-theory - Are $PSPACE$-complete problems inherently less tractable than $NP$-complete problems?
8) soft-question - What is the contribution of lambda calculus to the field of theory of computation?
9) big-picture - What is the relationship between intuitionistic logic, combinatory logic and lambda calculus?
10) lo.logic - Why was there a need for Martin-Löf to create intuitionistic type theory?
11) reference-request - any relation/ overlap between small world graphs, scale free graphs, and expander graphs?
12) cc.complexity-theory - Semantic vs. Syntactic Complexity Classes
13) cc.complexity-theory - Why do we consider log-space as a model of efficient computation (instead of polylog-space) ?
14) reference-request - Algorithmic lens in the social sciences
15) big-picture - Is there a theory to answer "the simplest program to solve a problem"?
16) automata-theory - Why were Finite Automata and Turing Machines created?
17) cc.complexity-theory - Public-key encryption without the assumption that $P \neq NP$
18) cc.complexity-theory - Intractability of NP-complete problems as a principle of physics?
19) reference-request - TCS oriented refs/survey on group theoretic word problem
20) soft-question - Complex analysis in theoretical computer science
21) cr.crypto-security - How does Theoretical Computer Science relate to security?
22) reference-request - What are some good references for mathematical optimization for the layman?
23) pl.programming-languages - Why naturals instead of integers?
24) optimization - How/Why are linear systems so crucial to computer science?
25) big-picture - What CS theories are absolutely paramount for someone new to TCS to understand?
26) quantum-computing - Layman Interpretation: Quantum Factoring Algorithm
27) cc.complexity-theory - Should we consider $\mathsf{P} \neq \mathsf{NP}$ a law of nature?
28) fl.formal-languages - What is the enlightenment I'm supposed to attain after studying finite automata?
29) lo.logic - Distinguishing semantics vs syntactic techniques and the syntax of your semantic domains
30) cc.complexity-theory - Is the Chomsky-hierarchy outdated?
31) cc.complexity-theory - Which interesting theorems in TCS rely on the Axiom of Choice? (Or alternatively, the Axiom of Determinacy?)
32) ds.algorithms - Pseudo-polynomial time algorithms
33) big-picture - Consequence of PIT over $\Bbb Z[x_1,\dots,x_n]$ not having efficient algorithm
34) lo.logic - What was the original intent for the creation of Lambda calculus?
35) ds.algorithms - Human intelligence and algorithms
36) cc.complexity-theory - Landscape of interactive proof systems
37) cc.complexity-theory - possible bridge between group growth theory and complexity theory?
38) cc.complexity-theory - Is there a relationship between computational complexity theory and complex systems theory?
39) cc.complexity-theory - Mulmuley's GCT program
40) cc.complexity-theory - Fixed parameter tractable Integer Programming and $FPP$
41) cc.complexity-theory - Consequences of $NP\subseteq P/poly$ to $BQP$
42) cc.complexity-theory - Why are mod_m gates interesting?
43) soft-question - How can I use my computational theory and analysis powers for the greater good?
44) ds.algorithms - Does There exist a particular PSPACE Complete Problem which has a FPTAS algorithm?
45) ds.algorithms - Does There exist a particular PSPACE Complete Problem which has a FPTAS algorithm?
46) cc.complexity-theory - Understanding QMA
47) cc.complexity-theory - Are $PSPACE$-complete problems inherently less tractable than $NP$-complete problems?
48) reference-request - (concise?) definition of thread safety
49) cc.complexity-theory - Why exactly are complexity theorists interested in closed timelike curves?
50) cc.complexity-theory - Energy considerations on computation