Skip to main content
Computer Science

Student

 Student
First question with score of 1 or more.
Awarded 20670 times.
if $\delta(q, a) = q$ for all symbols $a$, show that $\delta^* (q, w) = q$ is true for all strings $w$
Awarded 1 hour ago
How do I create a finite state automata for addition in ternary system?
Awarded yesterday
Trying to understand the time complexity of IDDFS
Awarded 2 days ago
Biggest Normal Form of a term in the untyped lambda calculus in 40 characters
Awarded Nov 19 at 22:35
Find the largest subset of chords in which every pair intersects
Awarded Nov 18 at 19:23
If a literal like 0.45 has exact decimal precision, why can’t compilers preserve that and avoid floating-point rounding issues?
Awarded Nov 17 at 22:54
What's an example of a problem that is in Psearch, but not in NPsearch?
Awarded Nov 17 at 21:07
Does a constant time compression algorithm proves that P=NP?
Awarded Nov 16 at 8:07
Good algorithm to solve a system of "cyclic" banded linear equations
Awarded Nov 15 at 19:23
Find all non-extendable ranges in an array of real values with a non-positive sum
Awarded Nov 15 at 19:23
What does two-shingle mean in binary trees?
Awarded Nov 13 at 21:10
(post deleted or otherwise unavailable)
Awarded Nov 13 at 11:37
Is it possible to find the global edge connectivity of an undirected graph by using the maximum flow algorithm (Ford-Fulkerson/Edmonds-Karp)?
Awarded Nov 13 at 4:12
Reduction from Directed Hamiltonian Path to Minimum Equivalent Graph
Awarded Nov 10 at 1:26
Show that the network reliability problem is NP-complete
Awarded Nov 8 at 19:21
Proving NPhardness of linkedin queens
Awarded Oct 26 at 21:49
Optimal in-place suffix sorting algorithm on read-only general alphabets produces wrong results
Awarded Oct 24 at 8:55
Regularity of Languages $L_1$ and $L_2$
Awarded Oct 23 at 10:33
Why move memory from LLM to MCP?
Awarded Oct 23 at 6:07
Polynomial hierarchy, many-one reduction, but with co-NP subroutine
Awarded Oct 21 at 6:04
Prove optimality of a sorting algorithm
Awarded Oct 20 at 7:10
Two Turing machines that accept each other’s indices
Awarded Oct 19 at 13:49
Are definite languages closed under Kleene Star?
Awarded Oct 19 at 13:40
Hypergraph partitioning constrained on partition size
Awarded Oct 17 at 3:02
Software for Wheels: On Division by Zero Using a Computer
Awarded Oct 15 at 18:02
What does strongly sublinear mean?
Awarded Oct 13 at 12:08
Looking for Graphs with Known Chromatic Numbers
Awarded Oct 2 at 20:22
How to find all maximal rectangles contained in a rectilinear shape on a discrete grid
Awarded Oct 1 at 8:45
Big O and Omega, how can they be different for a specific case(worst/best)
Awarded Sep 30 at 7:27
How to make Prolog solve this multi-agent task scheduling problem in a reasonable amount of time?
Awarded Sep 29 at 14:15
Assignment problem with dependencies between assignments
Awarded Sep 25 at 22:12
Find a minimal binary tree that satisfies lowest common ancestor constraints
Awarded Sep 22 at 5:37
Where can I find a list of logics with their corresponding calculus and computation phenomena?
Awarded Sep 22 at 0:20
Unsupervised Anomaly Detection in Time Series
Awarded Sep 20 at 19:45
Given a tree, find a preorder-like ordering which satisfies additional ordering between nodes
Awarded Sep 20 at 6:22
Persistent sequences with insert and delete and canonical structure?
Awarded Sep 19 at 10:06
Statement on regular language density
Awarded Sep 18 at 23:36
Stronger version of the Pumping lemma for context-free languages
Awarded Sep 17 at 18:32
What is a resource on encodings for Turing machines?
Awarded Sep 17 at 18:32
How many different (full/complete) in-order binary-trees do exist?
Awarded Sep 17 at 7:24
How to find the compression method used on an unknown sequence of bytes? [closed]
Awarded Sep 16 at 16:33
Algorithm for counting number of subgrids which contain all letters
Awarded Sep 16 at 2:53
(post deleted or otherwise unavailable)
Awarded Sep 10 at 3:36
What is the complexity class $NP^{P^{NP}}$?
Awarded Sep 9 at 16:34
Efficient merging of overlapping ranges with values preserving sum
Awarded Sep 9 at 11:16
Existence of inversion in range
Awarded Sep 9 at 11:05
How to quickly compute power of matrix of generating functions?
Awarded Sep 7 at 14:23
Why does lambda calculus have clear semantics, easy comprehensibility, and serve as a foundation for proof languages?
Awarded Sep 6 at 15:38
Matching polynomial in Computer Science
Awarded Sep 3 at 20:03
Can the group-structure of my constraint reduce the corresponding assignment problem to polynomial time search complexity?
Awarded Sep 2 at 3:47
How does the equation to index non-leaf nodes of a binary tree 'array' in max-heap work for unbalanced binary trees?
Awarded Aug 31 at 17:08
What do you call the two most common ways of selecting a random leaf node from a tree?
Awarded Aug 28 at 17:20
Are there any meta programming paradigms that cant be implemented through macros?
Awarded Aug 28 at 7:38
do you know how a computer works? [duplicate]
Awarded Aug 28 at 0:02
Number of lexicographical swaps to make the array non decreasing
Awarded Aug 27 at 11:54
Interesting pattern in $k$-ary search
Awarded Aug 25 at 21:32
How to calculate boundary areas from constructive solid geometry
Awarded Aug 25 at 16:48
What data structure minimizes the amount of combine operation in point updates and range queries (and having the smallest leading constant)?
Awarded Aug 24 at 15:13
Is kernel memory mapped once or repeatedly for each spawned process
Awarded Aug 22 at 15:33
(Prolog) Warren's Abstract Machine, Argument Registers
Awarded Aug 18 at 10:49
1
2 3 4 5
…
345