About 50 results
Open links in new tab
  1. lambda calculus - Inductively definitioning free-occurance of a ...

    Questions Are there any flaws or technical issues with this definition? Which standard textbooks on lambda calculus or theoretical computer science discuss this notion of counting free occurrences of a …

  2. Faster Algorithm to find a matching of certain size

    Jan 12, 2026 · Given an unweighted graph G G, a matching M M represents a subset of edges which are disjoint. There are several algorithms which can find maximum (cardinality) matching. A matching …

  3. strings - How to compute an inverse suffix array $ISA$ from a suffix ...

    Feb 12, 2024 · Please edit your post to define what you mean by the "inverse" of a suffix array. You might also make this useful and interesting for others by providing some motivation why this is a …

  4. Ask a Question - Computer Science Stack Exchange

    4 days ago · Thanks for contributing an answer to Computer Science Stack Exchange! Asking for help, clarification, or responding to other answers. Making statements based on opinion; back them up …

  5. computer architecture - Sequence counter in a hardwired control unit ...

    Oct 9, 2023 · I have been studying the structure of a hardwired control unit and at 8:57 of this video we get a basic block diagram.What does the sequence counter do exactly?

  6. Greedy Maximum Bipartite Matching - Computer Science Stack Exchange

    Nov 28, 2023 · To find the maximum matching on a bipartite graph, I propose the following greedy algorithm: At each iteration, pick an unmatched vertex with the smallest degree and match it to one …

  7. PDA for equal number of as and b's where n>=1

    Jun 22, 2023 · How to design Push Down Automata for a language that has equal number of a's and b's where $n \ge 1$? I got how to do it for $n \ge 0$, not able to get it for $n \ge 1$.

  8. algorithms - 2D packing in fixed dimensions rectangle - Computer ...

    This is equivalent to finding the enclosing square of minimum area for rectangles of size $ (w_i/W, h_i/H)$. You seem to have found algorithms for this problem already. There are many heuristics …

  9. Computing average access time - Computer Science Stack Exchange

    May 31, 2020 · A computer has a cache memory and a main memory with the following features: - Memory cache access time: 4 ns - Main memory access time: 80 ns - The time needed to load a line …

  10. Why do PDAs always halt? - Computer Science Stack Exchange

    May 5, 2022 · Can’t a PDA get stuck in a cycle of blank transitions? Should the implementation detect such cycles and do something about them? That seems quite complex to consider all the edge …