Search for tag: "integers"

20 Media

01:26:51 ECS 289A Lecture 6b ECS 289A Lecture 6b	ECS 289A Lecture 6b sequence element vectors elements delta thing proof integers configuration species lemma configurations things reactions vector graph point stuff union output From David Doty on March 22nd, 2021 0 likes 7 plays 0
07:03 ECS 220 7b:7.3-4 a universal partial recursive… ECS 220 7b:7.3-4 a universal partial recursive function	ECS 220 7b:7.3-4 a universal partial recursive function function integer functions input representation integers times bar description numbers interpreter thing p3 recursion cases base theorem godel 1930s python From David Doty on March 21st, 2021 0 likes 13 plays 0
08:05 ECS 220 7a:7.6-3 Turing universality of 2-counter… ECS 220 7a:7.6-3 Turing universality of 2-counter machines	ECS 220 7a:7.6-3 Turing universality of 2-counter machines counter machine machines kind encoding times counters wall function thing numbers plane problem fact computation input x. integers idea minsky From David Doty on March 21st, 2021 0 likes 13 plays 0
13:20 ECS 220 6a:7.2-2 countability and diagonalization ECS 220 6a:7.2-2 countability and diagonalization	ECS 220 6a:7.2-2 countability and diagonalization numbers function input subset size power sets programs sequence elements diagonalization diagonal rows output inputs words zeros integers definition fact From David Doty on March 21st, 2021 0 likes 24 plays 0
09:25 ECS 220 3c:5.4 Diophantine equations and… ECS 220 3c:5.4 Diophantine equations and computationally complex integrals	ECS 220 3c:5.4 Diophantine equations and computationally complex integrals sum pi integer equation term integers formula numbers subsets exponent cosine thing integrals problem bit words times subset form function From David Doty on March 21st, 2021 0 likes 14 plays 0
05:48 ECS 220 2c:5.3-4 Tiling and Boolean circuits ECS 220 2c:5.3-4 Tiling and Boolean circuits	ECS 220 2c:5.3-4 Tiling and Boolean circuits tile squares formula square inputs circuit orange region unit fan gates rectangle integers gate edges tiles question tiling model lot From David Doty on March 21st, 2021 0 likes 22 plays 0
04:10 ECS 220 2b:4.3-3 problems not obviously in NP ECS 220 2b:4.3-3 problems not obviously in NP	ECS 220 2b:4.3-3 problems not obviously in NP np problem integers size solution integer equation proof inequalities circuit function graph path variables equations linear witnesses bits answer question From David Doty on March 21st, 2021 0 likes 22 plays 0
08:46 ECS 220 2a:4.2-3 Integer-Partitioning and… ECS 220 2a:4.2-3 Integer-Partitioning and Subset-Sum	ECS 220 2a:4.2-3 Integer-Partitioning and Subset-Sum sum integers numbers subset algorithm problem integer half target recursion base words programming constraint sums total side bits binary running From David Doty on March 21st, 2021 0 likes 24 plays 0
11:40 ECS 120 10b:1 diagonalization to show a set is… ECS 120 10b:1 diagonalization to show a set is smaller than its power set	ECS 120 10b:1 diagonalization to show a set is smaller than its power set elements function element table subset numbers sets sequence x. power kth diagonalization diagonal range d. f. definition row output integers From David Doty on March 20th, 2021 0 likes 43 plays 0
02:14 ECS 120 9c:4 N vs. Q ECS 120 9c:4 N vs. Q	ECS 120 9c:4 N vs. Q rationals equals function 3d naturals enumeration g3 g2 g1 integers trick g. numbers bit lot From David Doty on March 20th, 2021 0 likes 48 plays 0
06:29 ECS 120 9c:3 N vs. Q+ ECS 120 9c:3 N vs. Q+	ECS 120 9c:3 N vs. Q+ numbers numerator denominator cardinality integers pairs words function sense pair sum direction naturals invariant groups halves thirds psych denominators enumerate From David Doty on March 20th, 2021 0 likes 54 plays 0
05:49 ECS 120 9c:2 N vs. Z ECS 120 9c:2 N vs. Z	ECS 120 9c:2 N vs. Z integers function a. subset maps things words direction arrow element numbers david bounce enumeration notation sort ceiling equals domain pause From David Doty on March 20th, 2021 0 likes 59 plays 0
09:55 ECS 120 7c:4 example problem in NP - SubsetSum ECS 120 7c:4 example problem in NP - SubsetSum	ECS 120 7c:4 example problem in NP - SubsetSum collection subset sum clique proof integers problem np graph size numbers element times problems c. addition s. python witness thing From David Doty on March 20th, 2021 1 likes 67 plays 0
05:24 ECS 120 7b:5 polynomial-time verifier for… ECS 120 7b:5 polynomial-time verifier for Composites	ECS 120 7b:5 polynomial-time verifier for Composites divisor n. integers length division integer divisors verifier proof fact input encoding polynomial composites language solution problem answer solutions minus From David Doty on March 20th, 2021 1 likes 71 plays 0
06:23 ECS 120 7b:1 example problem in P - RelPrime ECS 120 7b:1 example problem in P - RelPrime	ECS 120 7b:1 example problem in P - RelPrime log algorithm base length numbers mod integers iterations y. string divisor problem remainder half loop distance iteration shortcut divisors egypt From David Doty on March 20th, 2021 1 likes 84 plays 0
04:13 ECS 120 5b:3 example of incorrect use of pumping… ECS 120 5b:3 example of incorrect use of pumping lemma	ECS 120 5b:3 example of incorrect use of pumping lemma zeros properties proof lemma xyz p. length language integers ceiling string mistake w. choice effect condition sealing times y. copies From David Doty on March 20th, 2021 1 likes 63 plays 0