Search for tag: "star"

55 Media

04:39 ECS 120 5b:2 proof of non-regularity using… ECS 120 5b:2 proof of non-regularity using closure properties	ECS 120 5b:2 proof of non-regularity using closure properties integer language zeros star closure proof bunch strings integers fact properties technique string c. languages addition x. numbers component analogy From David Doty 0 likes 41 plays 0
04:24 ECS 120 5a:3 example of separating extension ECS 120 5a:3 example of separating extension	ECS 120 5a:3 example of separating extension extension zeros b. strings language star bunch question form equivalence ways entity end function direction regard bonds epsilon concept From David Doty 0 likes 59 plays 0
04:16 ECS 120 5a:2 definition of separating extension… ECS 120 5a:2 definition of separating extension and L-equivalence	ECS 120 5a:2 definition of separating extension and L-equivalence extension strings star negation words definition l. sigma language owl exists expansion sim attack symbol y. sin alcohol conditions thing From David Doty 0 likes 59 plays 0
04:19 Vera Rubin and Dark Matter Vera Rubin and Dark Matter	Vera Rubin and Dark Matter Excerpts from The Ring of Truth, Episode 6: Doubt, hosted by Philip Morrison https://www.youtube.com/watch?v=xhfUfxeh9Lg galaxy side spectrum hydrogen shift region doppler weight planets orbit red light sun star dust emission feet direction alpha clouds From John Terning 0 likes 7 plays 0
01:35 Hydrogen Spectrum Hydrogen Spectrum	Hydrogen Spectrum From Boyd Edwardfull video at https://www.youtube.com/watch?v=oae5fa-f0S0 hydrogen image diffraction lines place class series balmer beta blue sky nebulae lot images star farthest grading cast wavelengths spectrum From John Terning 0 likes 19 plays 0
01:24:09 ECS 289A Lecture 9b ECS 289A Lecture 9b	ECS 289A Lecture 9b monomer configuration domains model kind thing monomers domain star output bonds configurations complexes energy catalyst size sort things barrier dna From David Doty 0 likes 9 plays 0
05:39 ECS 220 8b:8.3-1 NL-completeness and logspace… ECS 220 8b:8.3-1 NL-completeness and logspace reductions	ECS 220 8b:8.3-1 NL-completeness and logspace reductions space log completeness reduction reductions output problem notion reachability edge input graph nodes tape np pair thing star lot problems From David Doty 0 likes 17 plays 0
07:50 ECS 220 5c:6.6 why is it hard to prove P neq NP ECS 220 5c:6.6 why is it hard to prove P neq NP	ECS 220 5c:6.6 why is it hard to prove P neq NP statement algorithm clique proof problems algorithms np star size circuits circuit reason instance fact sat end threshold boolean instances gates From David Doty 0 likes 15 plays 0
09:53 ECS 220 1a:2.1 problems and solutions ECS 220 1a:2.1 problems and solutions	ECS 220 1a:2.1 problems and solutions problem divisor algorithm graph decision mod b. function path gcd string graphs squares machines definition star language strings sense inputs From David Doty 0 likes 46 plays 0
15:52 ECS 120 10b:2 the real numbers are uncountable… ECS 120 10b:2 the real numbers are uncountable and the Continuum Hypothesis	ECS 120 10b:2 the real numbers are uncountable and the Continuum Hypothesis numbers cardinality function power sets subset expansion star hypothesis language statement machine problem continuum move a. digit zeros theory proof From David Doty 0 likes 64 plays 0
02:12 ECS 120 9c:5 N vs. {0,1}* ECS 120 9c:5 N vs. {0,1}*	ECS 120 9c:5 N vs. {0,1}* string strings function star sets s1 length binary numbers cardinality fact bijection enumeration strains light ordering graph lexica ology class From David Doty 0 likes 84 plays 0
11:52 ECS 120 8b:2 definition of polynomial-time… ECS 120 8b:2 definition of polynomial-time reducibility	ECS 120 8b:2 definition of polynomial-time reducibility Errata: starting at 8:30, I show Python code with the function reduction_from_clique_to_independent_set. This should be reduction_from_independent_set_to_clique instead. algorithm clique instance strings reduction b. input graph star problem idea answer a. output function compliment nodes pair requirement difficulty From David Doty 0 likes 140 plays 0
08:06 ECS 120 7a:1 time complexity classes and the Time… ECS 120 7a:1 time complexity classes and the Time Hierarchy Theorem	ECS 120 7a:1 time complexity classes and the Time Hierarchy Theorem problems language t1 complexity theorem t2 languages star subset class algorithms observation machine decision words cubed things bounds function n. From David Doty 1 likes 194 plays 0
02:31 ECS 120 5b:5 closure properties proof that equal… ECS 120 5b:5 closure properties proof that equal zero-one is not regular	ECS 120 5b:5 closure properties proof that equal zero-one is not regular This is presenting the same material as in this alternate lecture, but I give more intuition in the alternate lecture:… language star lemma operations zeros expression intersection languages closure contradiction numbers transition strings operation proof properties bit From David Doty 1 likes 66 plays 0
12:19 ECS 120 4c:5 regex_s can simulate NFAs ECS 120 4c:5 regex_s can simulate NFAs	ECS 120 4c:5 regex_s can simulate NFAs expression transition zeros automata expressions point nfa arrows star epsilon transitions pair string i. thing construction pairs eye paths start From David Doty 1 likes 141 plays 0
07:03 ECS 120 4c:2 NFAs can simulate regex_s example ECS 120 4c:2 NFAs can simulate regex_s example	ECS 120 4c:2 NFAs can simulate regex_s example nfa transition epsilon algorithm start union b. singleton cases construction concatenation base star expression goal a. language step steps quicksort From David Doty 1 likes 155 plays 0