<we><edit> <!-- questions and answers -->
logic
correctness-proof
np
distributed-systems
arrays
graph-theory
binary-trees
decision-problem
linear-programming
finite-automata
discrete-mathematics
functional-programming
image-processing
semantics
reference-request
algorithms
concurrency
randomized-algorithms
halting-problem
terminology
sorting
trees
satisfiability
recursion
automata
Computer Science
students, researchers and practitioners of computer science
User
64.773
Votes
201.637
Comments
138.048
Questions
23.152
Answers
28.040
Solved Questions
10.697
Unsolved Questions
4.229
logic
correctness-proof
np
distributed-systems
arrays
graph-theory
binary-trees
decision-problem
linear-programming
finite-automata
discrete-mathematics
functional-programming
image-processing
semantics
reference-request
algorithms
concurrency
randomized-algorithms
halting-problem
terminology
sorting
trees
satisfiability
recursion
automata
data-compression
np-hard
parsers
probability-theory
network-flow
asymptotics
space-complexity
neural-networks
lower-bounds
graph-traversal
polynomial-time
pushdown-automata
regular-languages
type-theory
computability
formal-languages
heuristics
runtime-analysis
compilers
combinatorics
computation-models
hash
optimization
search-algorithms
closure-properties
greedy-algorithms
computer-architecture
formal-grammars
pumping-lemma
machine-learning
reductions
cpu-cache
strings
proof-techniques
parallel-computing
computational-geometry
hash-tables
efficiency
shortest-path
nondeterminism
turing-machines
artificial-intelligence
linear-algebra
np-complete
search-trees
lambda-calculus
randomness
undecidability
algorithm-analysis
circuits
approximation
complexity-classes
memory-management
dynamic-programming
programming-languages
matrices
sets
weighted-graphs
quantum-computing
operating-systems
database-theory
arithmetic
computer-networks
regular-expressions
cryptography
context-free
natural-language-processing
graphs
recurrence-relation
time-complexity
complexity-theory
information-theory
landau-notation
computer-vision
data-structures
What is the difference between a 'page' of memory and a 'frame' of memory?
memory-management
Java question dealing with generic casting
java
reinforcement learning in gridworld with subgoals
machine-learning
reinforcement-learning
How similar is the Goldwasser-Sipser Set Lower Bound Protocol to the Hashcash/Bitcoin Proof-of-Work?
hash
graph-isomorphism
interactive-proof-systems
proof-of-work
A clarification on $NP=coNP$?
complexity-theory
complexity-classes
Polynomial generator required to detect single bit error in Cyclic Redundancy Check codes
computer-networks
polynomials
crc
Why do we try to maximize Lagrangian in SVMs?
optimization
machine-learning
os-kernel
svm
importance of alternate storage in external sort
algorithms
sorting
How to solve a knapsack problem using DP?
algorithms
algorithm-analysis
discrete-mathematics
Towers of Hanoi Algorithm "Using Auxiliary" Peg
recursion
type 0 grammar to simulate turing machine
turing-machines
formal-grammars
What bugs are most likely to appear when designing a divide and conquer algorithm?
algorithms
divide-and-conquer
algorithm-design
mergesort
Resource distribution algorithm
algorithms
how to solve this problem from codechef step by step?
trees
binary-search
#3-Coloring Problem for Tree with Some Pre-Colored Nodes
algorithms
trees
colorings
Steiner tree problem with the known optimal subset of Steiner vertices in approximation algorithms
algorithms
approximation
multiple sequence alignment using HMM and simulated annealing
hidden-markov-models
bioinformatics
How do I find the regular expression from the given finite automata using Kleene's Method?
finite-automata
regular-expressions
Semantic parsing with Grammatical Framework - is this possible?
formal-grammars
logic
lambda-calculus
type-theory
natural-language-processing
DP tiling a 2xN tile with L shaped tiles and 2x1 tiles?
algorithms
algorithm-analysis
dynamic-programming
recursion
greedy algorithms - minimizing total payment
algorithms
graphs
greedy-algorithms
proof-assistants
How to deal with cost variation in a dynamic graph when applying Dijkstra
graphs
graph-theory
shortest-path
graph-traversal
Google search of phrases in spreadsheet to return only key terms
search-algorithms
data-sets
Why this program works even without malloc and realloc?
c
A path modification problem in directed graphs
algorithms
graphs
routing
social-networks
Computational Complexity and P vs. NP, A New Insight
complexity-theory
turing-machines
np-complete
proof-techniques
p-vs-np
In describing the tokens of a programming language using RE, it is not necessary to have the $\epsilon$ or t. Why is this?
compilers
i need to know the flowchart for the following turing mechine problem
turing-machines
Find path in graph that is always having positive weight
graphs
graph-theory
weighted-graphs
What is the consequence of $\oplus P\neq PP$?
complexity-theory
complexity-classes
Troubles understanding this Interval Scheduling question
algorithms
greedy-algorithms
scheduling
process-scheduling
intervals
How can I assign cooks to customers?
algorithms
assignment-problem
Why is writing down mathematical proofs more fault-proof than writing computer code?
correctness-proof
mathematical-foundations
philosophy
Finding a Simple Distribution In a Binary String
machine-learning
pattern-recognition
Is this book's definition of phrase correct?
terminology
context-free
formal-grammars
is P_CTC = BPP_PATH?
complexity-theory
complexity-classes
quantum-computing
rebalance red-black tree with many violations
binary-trees
balanced-search-trees
Efficiently finding the maximum pairwise GCD of a set of natural numbers
algorithms
number-theory
How does Bellman-Ford find Negative Weight Cycles
algorithms
graphs
graph-theory
algorithm-analysis
weighted-graphs
Filling a 3x3 board with connected tiles
graph-theory
optimization
backtracking
tiling
Query regarding Integer factorization
algorithms
factoring
What does it mean to be "closed" under beta reduction?
compilers
lambda-calculus
continuations
Name of a particular kind of weighted unoriented graph
weighted-graphs
Calculating the kth largest distance among $n$ points on a number line in $O(n\log n)$?
algorithms
randomized-algorithms
Number of windows users
operating-systems
Numerical analysis - f(x) = f(y)
numerical-analysis
Error correction codes - with strong noise
error-correcting-codes
AUTOMATA Make a DFA for Regular expression
automata
Does NP-hard problems have to be decision problems?
reductions
np-hard
np
Construct Regular Expression For All words with even count of letters and ends with “a”
finite-automata
regular-expressions
Longest Path Problem (Theory of Computing)
np-complete
NP Reduction from 3Color to QuadProg
np-complete
quadratic-programming
Sliding window protocol, calculation of sequence number bits
computer-networks
Relation between $\sqrt{x^2+y^2}$ and $|x|+|y|$
time-complexity
discrete-mathematics
Variable assignment in which compiler phase
compilers
Recognizability of machines which halt in $n$ steps on some input
undecidability
Fibonacci Heap / Binomial Heap - Decrease Key
algorithms
data-structures
heaps
Array with queries to decrement or find sum of range
algorithms
complexity-theory
time-complexity
arrays
Is it possible to implement dependent types by any object oriented language supporting inheritance and classes?
dependent-types
object-oriented
proof-assistants
How many clock cycles does a processor take to generate a single binary number?
computer-architecture
cpu
clocks
Use the pumping lemma to show the language is not regular
formal-languages
regular-languages
pumping-lemma
Simulating Turing Machine with writing only on non-input fields on read-only Turing machine
complexity-theory
computability
turing-machines
Understanding Wirth's symbol table entry
compilers
Is square numbers written in binary a regular language?
formal-languages
regular-languages
automata
finite-automata
Maximum flow properties
algorithms
algorithm-analysis
network-flow
ford-fulkerson
Data structure optimized for merging maps on partitions
data-structures
runtime-analysis
Miss penalty for Write request in a Write-Back style system
computer-architecture
cpu-cache
Paper-based algorithm to find longest formula which is common to at least two formulas
algorithms
optimization
Is there an algorithim to construct a graph with an even number of vertices, and each vertex has k edges?
algorithms
complexity-theory
graphs
graph-theory
How do I develop a structured work method for theoretical computer science?
complexity-theory
formal-languages
computability
Given are $4$ languages. What kind of language are they (regular, context free, context sensitive..)?
formal-languages
regular-languages
formal-grammars
chomsky-hierarchy
Mathematical proofs implemented purely by Lambda Calculus
proof-techniques
lambda-calculus
mathematical-foundations
consistent heuristic - does it always exist?
search-algorithms
heuristics
How important is computer architecture and organization for a computer science student?
computer-architecture
How to prove QUADPROG is NP-hard using 3COLOR?
complexity-theory
proof-techniques
np-hard
quadratic-programming
Digital Image Processing
education
image-processing
Is the language below not decidable , if yes , it is then R.E ?
turing-machines
undecidability
semi-decidability
Obviously true statement, but is there a proof?
logic
proof-techniques
Common parse tree for several formulas
trees
boolean-algebra
Matlab inbuilt function error
numerical-analysis
error-estimation
How to use Neural Network classification if data not same size?
neural-networks
data-mining
classification
Why Can't Reverse Hashing Prove $P \neq NP$?
complexity-theory
Why do we use RSA if it is not secure against chosen ciphertext attack?
encryption
Solving recurrence relation having square root
recurrence-relation
What makes type inference for dependent types undecidable?
undecidability
type-theory
type-inference
dependent-types
AVL Tree Inner Nodes
data-structures
search-trees
balanced-search-trees
binary-search-trees
Show that the successor of a node is the lowest ancestor of the node whose left child is also an ancestor of that node
data-structures
search-trees
binary-search-trees
Lamport's distributed mutual exclusion: wait-chain order clock
concurrency
mutual-exclusion
DPDA - a language that contains the same number of A and B
automata
pushdown-automata
Typing by value
programming-languages
typing
type-inference
Is language equality for linear context-free grammars decidable?
formal-languages
context-free
formal-grammars
Lambda calculus closure expansion
reference-request
lambda-calculus
How to convert string to char implicitly?
c++
Predecessor-subgraph property
graphs
algorithm-analysis
a little question on the analysis of the disjoint set
algorithms
algorithm-analysis
data-structures
time-complexity
union-find
Number of heaps using n distinct integers- Time complexity
algorithms
data-structures
time-complexity
dynamic-programming
heaps
Can you please explain how to construct a PDA accepting $\{ a^n b^n : n \geq 1 \}$?
automata
compilers
pushdown-automata
What resources does a SYN flooding attack try to exhaust?
computer-networks
How to estimate how many assignments satisfy a given DNF formula using Monte Carlo?
algorithms
np-hard
probability-theory
propositional-logic
monte-carlo
Search algorithm with constraint of proximity to another point
search-algorithms