论文标题
列出对数空间中的着色树
List Colouring Trees in Logarithmic Space
论文作者
论文摘要
我们显示，可以使用$ o（\ log n）$位上的确定性图灵机在$ n $ vertex树上求解列表着色。给定一个$ n $ -vertex图$ g =（v，e）$和列表$ l（v）\ subseteq \ {1，\ dots，\ dots，n \} $ in V $中的每种$ v \ in V $中的可用颜色，$ g $ for $ g $的列表着色是适当的颜色$ c $ c $ c $ c $ c $ c $ c（v）in（v）in（v）$ $ v $。
We show that List Colouring can be solved on $n$-vertex trees by a deterministic Turing machine using $O(\log n)$ bits on the worktape. Given an $n$-vertex graph $G=(V,E)$ and a list $L(v)\subseteq\{1,\dots,n\}$ of available colours for each $v\in V$, a list colouring for $G$ is a proper colouring $c$ such that $c(v)\in L(v)$ for all $v$.
