- 241
- 345 547
Chris Marriott - Computer Science
United States
Приєднався 17 чер 2013
Turing Reductions - Exercise - Theory of Computation
In this video I practice using Turing reductions to show languages are undecidable.
Переглядів: 527
Відео
Turing Reductions and Undecidability - Theory of Computing
Переглядів 2365 місяців тому
In this video I show how Turing reductions can be used to show that languages are undecidable.
Universal Turing Machines and an Undecidable Language - Theory of Computing
Переглядів 1376 місяців тому
In this video I explore the language A_TM and show it is recognizable, but not decidable.
Countable and Uncountable Infinity - Theory of Computing
Переглядів 826 місяців тому
In this video I present the difference between countable and uncountable infinity.
The Turing-Decidable Languages - Theory of Computing
Переглядів 1506 місяців тому
In this video I show a number of different languages are decidable.
The Church-Turing Thesis - Theory of Computing
Переглядів 1486 місяців тому
In this video I discuss the Church-Turing Thesis and what it means for computability.
Turing Machine Variants - Theory of Computing
Переглядів 1186 місяців тому
In this video I consider a number of variants of a Turing machine and demonstrate that many of them are equivalent in power.
Pseudocode for Turing Machines - Theory of Computing
Переглядів 2246 місяців тому
In this video I present the common way of programming Turing machines with pseudocode.
Formal Definition of Turing Machine - Theory of Computing
Переглядів 2836 місяців тому
In this video I present the formal definition of Turing machines and some of the concepts related to them.
Turing Machines - Exercise - Theory of Computing
Переглядів 1746 місяців тому
In this video I build a few state diagrams for Turing machines to decide languages.
Turing Machines - Theory of Computing
Переглядів 1996 місяців тому
In this video I introduce Turing machines.
Pumping Lemma for Context Free Languages - Exercise - Theory of Computing
Переглядів 1297 місяців тому
In this video I show two languages are not context free using the pumping lemma.
The Pumping Lemma for Context Free Languages - Theory of Computing
Переглядів 2267 місяців тому
In this video I introduce the pumping lemma for context free languages and show our first language is not context free.
Converting pushdown automata to context free grammars - Theory of Computing
Переглядів 1337 місяців тому
In this video I show how a pushdown automaton can be converted to a context free grammar.
Converting context free grammars to pushdown automata - Theory of Computing
Переглядів 2437 місяців тому
In this video I show context free grammars can be converted into pushdown automata.
Pushdown Automaton - Exercise - Theory of Computing
Переглядів 1,1 тис.7 місяців тому
Pushdown Automaton - Exercise - Theory of Computing
Pushdown Automata - Theory of Computing
Переглядів 8167 місяців тому
Pushdown Automata - Theory of Computing
Converting a CFG to Chomsky Normal Form - Exercise - Theory of Computing
Переглядів 4217 місяців тому
Converting a CFG to Chomsky Normal Form - Exercise - Theory of Computing
CFGs and Chomsky Normal Form - Theory of Computing
Переглядів 1117 місяців тому
CFGs and Chomsky Normal Form - Theory of Computing
Ambiguity in Context Free Grammars - Theory of Computing
Переглядів 837 місяців тому
Ambiguity in Context Free Grammars - Theory of Computing
The Context Free Languages - Theory of Computing
Переглядів 677 місяців тому
The Context Free Languages - Theory of Computing
Context Free Grammars - Exercise - Theory of Computing
Переглядів 1267 місяців тому
Context Free Grammars - Exercise - Theory of Computing
Context Free Grammars - Theory of Computing
Переглядів 1187 місяців тому
Context Free Grammars - Theory of Computing
Pumping Lemma for Regular Languages - Exercise 2 - Theory of Computing
Переглядів 1177 місяців тому
Pumping Lemma for Regular Languages - Exercise 2 - Theory of Computing
Pumping Lemma for Regular Languages - Exercise - Theory of Computing
Переглядів 2328 місяців тому
Pumping Lemma for Regular Languages - Exercise - Theory of Computing
The Pumping Lemma for Regular Languages - Theory of Computing
Переглядів 1858 місяців тому
The Pumping Lemma for Regular Languages - Theory of Computing
Converting NFAs to REs - Exercise - Theory of Computing
Переглядів 1279 місяців тому
Converting NFAs to REs - Exercise - Theory of Computing
Regular Expressions and Regular Languages - Theory of Computing
Переглядів 5079 місяців тому
Regular Expressions and Regular Languages - Theory of Computing
Regular Expressions - Exercise - Theory of Computing
Переглядів 6189 місяців тому
Regular Expressions - Exercise - Theory of Computing
Regular Expressions - Theory of Computing
Переглядів 2129 місяців тому
Regular Expressions - Theory of Computing
Good day, Sir. I am confused with the phrase structure of L4 and L5 in this video. L4=string w has four 0 's , L5=string w has two 0's and two 1's. Both phrase structure is the same (string w has (how many) 0's/0's and 1's) . L4 we accept ans with not only four 0 like 110000,0011100,... while for L5 ,why the string should be exactly or has only 0011 / 1100, answer like 111110011,000011(also got two 0 and 1) is not considered. Hope can get some inspiration from Sir. Thanks!
bro can u increases the volume . just by 25%. im on my laptop. trying to finish ur playlist in 3 days.
great explanation. IT finally. makes sense :)
Omg I have been searching for an hour and finally found what I needed so much, other videos don't show this solution thank you so much you are a saviour ❤❤
Is the bucket size arbitrary? Here you have 4 entries per bucket, in my course they use examples of bucket size 2. Is it just arbitrary and therefore should be clear on a potential question?
Yes, the bucket size is arbitrary. In practice bucket size tends to be very large, which is why we use sizes like 2 or 4 for examples and exams.
@chrismarriott-CS Thank you, that makes sense!
Great video, stuck on this for ages
Thanks mate
Very clear ✨️❤
I know this video is 4 years old now so this is a Hail Mary, I’m a bit confused on why the case where T is less than half the sum and T is more than half the sum need something different added to them. Isn’t the relationship between the two sets symetric so to say. Meaning that maybe the partition wont be the set that makes subset sum true but there will exist two sets that you can partition regardless no ? Perhaps im getting confused but id appreciate if you can give some insight
These two problems are exactly the same if T is half the sum. If T is not half the sum then we can make the two problems exactly the same only by adding in a new element that will make T equal to half the sum.
@@algorithm0r hi thanks for the reply, i think i understand it now. I have a different question though, in the second problem when we take the union how can we guarantee that the number isn't already in the set and therefore isnt making a difference?
nvm i believe these are referring to multisets not regular sets
@MoushiTime we usually assume that duplicates are fine or we come up with a trick that allows us to draw the same conclusion. We might be able to do this by adding two items instead.
hi! great video, thank you very much! This implementation does not support pressing multiple keys at the same time right? Like pressing up and right at the same time would not work because you break out of the switch statement as soon as one of the conditions is met.
Each key pressed will fire a new event, so each key will trigger the switch independently. This means it will register multiple keys pressed at the same time. Also, if you are curious about "shift" or "ctrl" or "alt" these special keys are always registered in the event and you can test for them as needed.
Very helpful, thank you
Straight to the point and fantastic explanations..I finally understand this topic
Thanks for your kind words!
Thank you so much ! Automata theory test in a couple hours ! I was lost then I tried looking for videos sorting them by "most recent", and I am so happy I fell on your video !
Curious as to how phenomena like tornadoes or fire seem to match the criteria
Hello, hope you're doing well I would like to know if it's possible to get the slides for this courses ?
🙏 Exactly what I need I'm trying to make a recreation on Unity I will also leave a link to your video in the comments to the code. Thanks!
in L8 i think its wrong ! if the input is : 10010011 this should be rejected but in urs its accepted
Correct. The link from the 5th state should go to 3rd state, not the first one.
In the proof for the upper bound (big O), is it necessary to include n = 3 in the base case? Would using only n = 2 still be valid? It seems it would still be valid because the base case n = 2 and the inductive step implies the truth of the n = 3 case (I think). Unless I am missing something
floor(3/2) = 1 not 2. So 3 is not implied by 2, but it would be implied by 1 if we could prove it (which we couldn't).
@@chrismarriott-CS Ohh okay, I think I see. I was confused because I was just looking at the inductive hypothesis as the more generic T(k) <= blog(k) for k < n. But I see now we actually need the extra restriction on the hypothesis where floor(n/2) is included amongst those k < n
Thank you for your patient explanation! It saved much of my time.
Did he ever mention why he named it Tierra?
I don't know the answer to that one.
thanks man for the explaination
This is awesome stuff!!! thanks for the effort!
20:38 Thank you so much!! Saved my grade in my algorithms course :)
i havea problem with the invariant of the outer loop the invariant isnt corrent for i = n-1 which is the last iteration take as example an array of size 4 [3,1,2,0] n-i will never equal 0 since i only iterates until n-1 so in the last iteration (where i = 3) the invariant would state the the elements from the 2 to 4 are sorted, excluding the first element.
@@rohmanatasi1771 if all element are in the correct place except one, then they are all in the correct place.
@@chrismarriott-CS yup that makes sense , thanks for the fast reply ;)
cool!
could I have the figures in this explanation? Do you mind if I use these figures in a presentation?
Send me an email at dr.chris.marriott@gmail.com and I'll send them too you.
Amazing video Chris, keep it up with the cool content.
How this differ from a subset sum problem (that is supposed to be np problem, and therefore not able to be executed in polynomial time) ?
This is the same problem. It is NP complete which means it is an NP problem and also is NP hard.
This generalised code looks like merge sort.............
Thank you so much.
thank you so much
Planning to implement this, right into my toy DB project. Thanks a lot. Could you also shed some light on how to organize the buckets or bucket pointers? Should they be contiguous pages or something like OS page tables?
Each bucket should fit on one page to minimize page swaps.
cool , I appreciated
Hey , im really struggling with laying out the correct DFAs for a given condition of inputs , Can you please help and give some idea as how you approach the construction of a particular DFA regarding some condition . Thx
Superb work, Chris! I was hooked for the entire lecture, from start to finish. As a master's students, it is often frustrating how little some professors care about making sure the students learn - sometimes, it feels like the tests we take are more about testing the student's ability to google parts of the subject and learn by themselves rather than testing the student's ability to properly learn from class. It is easy to raise the question - does a master's diploma even prove that much when a lot of us aren't learning directly from the master's program and its professors, but from UA-cam videos? Videos like these are what make the world a better place - sharing knowledge for free with little to no compensation. Thank you so much for stepping up to do the job that my bitter and overpaid professors wouldn't.
I'm super grateful for your kind words and the time you took to type them. Best of luck in your studies!
So nice video! Good job man you saving me in my exam
great video ! but at around 12:00 , you made a split. I didn't get how can we select how to split the pointers between the old bucket and the new one. can you help please
We are using mod 4 to move the entries into the 0 or 2 bucket.
great video thank you 🙏🙏
This is amazing explanation.
Hi, what textbook are you using for these lectures?
Introduction to the Theory of Computation by Michael Sipser
Nice start
Thank you for the video. Professors always assume that everything about induction is obvious and they always confuse me by leaving out steps. Your detailed solution and paced answer really helped me understand the concept!
Thanks for your kind and thoughtful comment. I'm glad my approach was helpful for you.
Great series! So happy I came across them, thank you🙏
I'm grateful for your kind words!
This is hands down the best explanation on how to prove the closed form of summations. I always struggled to understand why the closed forms were the way it were, and like you, my brain is a "non-labeler", so I remember the ideas better than just memorizing the concepts. Thanks!
Thanks for the kind words and I'm glad my methods helped!
Hey Chris, I have a very similar problem I'm solving (what I would call interval cover too, but for intervals of varying real length) I was wondering if you'd have time for a quick chat about the problem? :)
please reply, is runtime of this algo nlogn ?
The dominant part of this algorithm is the sorting of the input. So, using a sort like Merge Sort of Quick Sort would achieve the O(nlogn).
perfect! Thank you!
Why do we need n >= n_T?
Thank you. People need to learn about this. Energence from simple systens is HUGEEEEE. And it also can be reason to believe in evolution
This was great!