Loading [MathJax]/jax/output/HTML-CSS/jax.js
Skip to main content

About Me



So You want to know about me. I am Soham Chatterjee. A 20-year-old Math and Theoretical Computer Science enthusiast Bengali guy. Doing my Bachelor's Degree in Math and Computer Science at Chennai Mathematical Institute. I am not a very interesting guy. I love Anime and songs from retro Bengali, Hindi, western, and J-pop songs. Also, I am a devoted Linux user. This is my blog where I post on math, theoretical computer science, LaTeX, and some Linux stuff.



My favorite Animes are Death Note, Fullmetal Alchemist Brotherhood, Steins Gate, Naruto, Eighty-Six, and Bakuman. Apart from this, I like many animes. They are all special to me in different ways. You check my Anilist account to see which animes I watched till now. You can also follow me there.

My favorite musics are Shiritakunakatta by  Sawai Miku and Avid by Sawano Hiroyuki. But apart from this, I like Yoasobi, Kobukuro Backstreet Boys, and Charlie Puth a lot. For music, you may think I am old-fashioned but I like to keep an offline collection of all the songs I like to listen to. 

Among Movies my favorites are Kimi no Suizou Wo Tabetai and Koe No Katachi. Then also comes Wolf Children, Your Name.

Apart from this, I like to write beautiful documents in LaTeX and theme my desktop in Linux. I have talked about my setup in detail in the respective LaTeX and Linux section. You may go there or take the .tex file and the dotfiles from my GitHub. 

I also had an Instagram Handle named Creative Math Solving where I used to post Math Problems based on Olympiads and a little on Real Analysis. You can follow that page. 

Since you have wanted to know about me this much then you can also follow me.





Comments

Post a Comment

Popular posts from this blog

Hierarchy Theorems (Time, Space, Alternation)

There are many hierarchy theorems based on Time, Space, Nondeterminism, Randomization etc. Time Hierarchy Theorem (Version 1) : If f,g are time-constructible functions satisfying f(n)logf(n)=o(g(n)), then DTIME(f(n))⊊DTIME(g(n)) Proof:  Consider the following Turing machine D: "On input x, run for f(|x|)log(f(|x|)) steps the Universal TM U to simulate the execution of Mx on x. If U outputs some bit b∈{0,1} in this time, then output the opposite answer (i.e., output 1−b ). Else output 0.” Here Mx is the machine represented by the string x.      By definition, D halts within f(n)log(f(n)) steps and hence the language L decided by D is in DTIME(g(n)). Claim:  L∉ DTIME (f(n)) Proof:  For contradiction's sake, assume that there is some TM M and constant c such that TM M, given any input x∈{0,1}∗, halts within cf(|x|) steps and outputs D(x)....
1 comment
Read more

Cook - Levin Theorem

Around 1971, Cook and Levin independently discovered the notion of NP−completeness and gave examples of combinatorial NP−complete problems whose definition seems to have nothing to do with Turing machines. Soon after, Karp showed that NP−completeness occurs widely and many problems of practical interest are NP−complete. To date, thousands of computational problems in a variety of disciplines have been shown to be NP−complete. SAT is the language of all satisfiable CNF formulae. Cook-Levin Theorem : SAT is NP−complete Before we go into the proof first we need to define some things Configuration of a Turing Machine: A configuration of a Turing Machine at any point of time t is basically the snapshot of the turning machine at that time. It is an ordered pair of the head position, current state, and tape content. Any configuration is initialized and ended with a special symbol, let # mark its ending. Then the contents of the tape at the left of ...
Post a Comment
Read more

Function Automata: A Technique to Solve Finite State Automata Problems

Here I will describe a strategy or technique to solve some finite state automata problems. This strategy was first taught to us by my Theory of Computation Professor. The term 'Function Automata' is given to me since we use function-like structures in this.     Suppose you are given a language that is a regular set L. So there exists a DFA for L, LD=(Q,Σ,δ,q1,F) where Q is the set of states, Σ is the set of alphabets, δ is the transition function, S is the starting state and f is the set of final states. Now let Q={q1,q2,…,qn where n∈N. Now we will do a kind of subset construction but every new state will have n states of Q but they can repeat. So (q1,q1,…,q1⏟n times) is a state of the new automata. Now, what is the meaning of these new states? Let f=(qk1,qk2,…,qkn) be a new state where qki's are not necessary to be diff...
Post a Comment
Read more