Top "Theory" questions

Programming-language-agnostic Questions that focus on the theoretical aspects rather than the actual implementations.

Why use two step approach to deleting multiple items with REST

We all know the 'standard' way of deleting a single item via REST is to send a single DELETE request …

rest theory
Example problems not in P nor in NP-complete but in NP

I have a course called Algorithm Analysis at college, where we're currently studying the different complexity classes -- P, NP, …

computer-science theory complexity-theory computation-theory
find the maximum number of vertex-disjoint paths in a graph with a constraint

Given a undirected graph G=(V,E), each edge is associated with a non-negative value. How to find the maximum …

algorithm graph theory np-complete
Does Presenter in Model-View-Presenter create views?

How are Views created in MVP? Does the Presenter always create them (in addition to View in case of subviews)? …

theory mvp architectural-patterns
Is finding the equivalence of two functions undecidable?

Is it impossible to know if two functions are equivalent? For example, a compiler writer wants to determine if two …

math compiler-construction function computer-science theory
Storing item positions (for ordering) in a database efficiently

Scenario: There is a database of movies a user owns, movies are displayed on a page called "my-movies", the movies …

sql database theory
SLR(1) Parser and epsilon involved

Let's suppose I have the following grammar: S → X X → a | ϵ If that grammar wouldn't have ϵ involved, I would construct …

parsing theory grammar compiler-theory language-theory
The recognizing power of "modern" regexes

What class of languages do real modern regexes actually recognise? Whenever there is an unbounded length capturing group with a …

regex perl theory context-free-grammar language-theory
Why is number of bits always(?) a power of two?

We have 8-bit, 16-bit, 32-bit and 64-bit hardware architectures and operating systems. But not, say, 42-bit or 69-bit ones. Why? …

architecture hardware theory bit