From c696f12275697687909af940248889499bb23a42 Mon Sep 17 00:00:00 2001
From: Marcin Chrzanowski <mc370754@students.mimuw.edu.pl>
Date: Sat, 2 Jul 2022 18:05:02 +0200
Subject: Add computational model section

---
 mgr.tex | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/mgr.tex b/mgr.tex
index c066fe6..16c4e7a 100644
--- a/mgr.tex
+++ b/mgr.tex
@@ -326,6 +326,12 @@ automaton, there is a corresponding MSO formula), however we will use only the
 MSO to automata direction in this work. See for example Bojańczyk's text
 \cite{bojanczyktoolbox} for a proof of both directions.
 
+\subsection{Computational Model}
+
+We use the Random Access Machine (RAM) model with uniform cost measure. In
+particular, basic arithmetic operations are assigned a constant cost, regardless
+of bitlength of arguments.
+
 \section{Question answering problems}\label{query-answering-problems}
 
 Consider a computational problem whose inputs are of the form $(S, q) \in
-- 
cgit v1.2.3