From 51865c67054efda6252c730b9a152ec2aa355ca5 Mon Sep 17 00:00:00 2001
From: Thomas Ba <git@thomasba.de>
Date: Wed, 25 Jan 2012 11:36:52 +0100
Subject: [PATCH] New pictures

---
 .../bilder/pspace_tqbf.xml                    | 293 +++++++++++++
 .../bilder/subset_sum_opt.xml                 | 261 +++++++++++
 .../bilder/tqbf_geo.xml                       | 412 ++++++++++++++++++
 .../bilder/tsp_dreieck_2.xml                  | 248 +++++++++++
 .../bilder/tsp_graph.xml                      | 251 +++++++++++
 5 files changed, 1465 insertions(+)
 create mode 100644 Berechenbarkeits-KomplexTh/bilder/pspace_tqbf.xml
 create mode 100644 Berechenbarkeits-KomplexTh/bilder/subset_sum_opt.xml
 create mode 100644 Berechenbarkeits-KomplexTh/bilder/tqbf_geo.xml
 create mode 100644 Berechenbarkeits-KomplexTh/bilder/tsp_dreieck_2.xml
 create mode 100644 Berechenbarkeits-KomplexTh/bilder/tsp_graph.xml

diff --git a/Berechenbarkeits-KomplexTh/bilder/pspace_tqbf.xml b/Berechenbarkeits-KomplexTh/bilder/pspace_tqbf.xml
new file mode 100644
index 0000000..a018770
--- /dev/null
+++ b/Berechenbarkeits-KomplexTh/bilder/pspace_tqbf.xml
@@ -0,0 +1,293 @@
+<?xml version="1.0"?>
+<!DOCTYPE ipe SYSTEM "ipe.dtd">
+<ipe version="70005" creator="Ipe 7.1.2">
+<info created="D:20120125103246" modified="D:20120125103246"/>
+<ipestyle name="basic">
+<symbol name="arrow/arc(spx)">
+<path stroke="sym-stroke" fill="sym-stroke" pen="sym-pen">
+0 0 m
+-1 0.333 l
+-1 -0.333 l
+h
+</path>
+</symbol>
+<symbol name="arrow/farc(spx)">
+<path stroke="sym-stroke" fill="white" pen="sym-pen">
+0 0 m
+-1 0.333 l
+-1 -0.333 l
+h
+</path>
+</symbol>
+<symbol name="mark/circle(sx)" transformations="translations">
+<path fill="sym-stroke">
+0.6 0 0 0.6 0 0 e
+0.4 0 0 0.4 0 0 e
+</path>
+</symbol>
+<symbol name="mark/disk(sx)" transformations="translations">
+<path fill="sym-stroke">
+0.6 0 0 0.6 0 0 e
+</path>
+</symbol>
+<symbol name="mark/fdisk(sfx)" transformations="translations">
+<group>
+<path fill="sym-fill">
+0.5 0 0 0.5 0 0 e
+</path>
+<path fill="sym-stroke" fillrule="eofill">
+0.6 0 0 0.6 0 0 e
+0.4 0 0 0.4 0 0 e
+</path>
+</group>
+</symbol>
+<symbol name="mark/box(sx)" transformations="translations">
+<path fill="sym-stroke" fillrule="eofill">
+-0.6 -0.6 m
+0.6 -0.6 l
+0.6 0.6 l
+-0.6 0.6 l
+h
+-0.4 -0.4 m
+0.4 -0.4 l
+0.4 0.4 l
+-0.4 0.4 l
+h
+</path>
+</symbol>
+<symbol name="mark/square(sx)" transformations="translations">
+<path fill="sym-stroke">
+-0.6 -0.6 m
+0.6 -0.6 l
+0.6 0.6 l
+-0.6 0.6 l
+h
+</path>
+</symbol>
+<symbol name="mark/fsquare(sfx)" transformations="translations">
+<group>
+<path fill="sym-fill">
+-0.5 -0.5 m
+0.5 -0.5 l
+0.5 0.5 l
+-0.5 0.5 l
+h
+</path>
+<path fill="sym-stroke" fillrule="eofill">
+-0.6 -0.6 m
+0.6 -0.6 l
+0.6 0.6 l
+-0.6 0.6 l
+h
+-0.4 -0.4 m
+0.4 -0.4 l
+0.4 0.4 l
+-0.4 0.4 l
+h
+</path>
+</group>
+</symbol>
+<symbol name="mark/cross(sx)" transformations="translations">
+<group>
+<path fill="sym-stroke">
+-0.43 -0.57 m
+0.57 0.43 l
+0.43 0.57 l
+-0.57 -0.43 l
+h
+</path>
+<path fill="sym-stroke">
+-0.43 0.57 m
+0.57 -0.43 l
+0.43 -0.57 l
+-0.57 0.43 l
+h
+</path>
+</group>
+</symbol>
+<symbol name="arrow/fnormal(spx)">
+<path stroke="sym-stroke" fill="white" pen="sym-pen">
+0 0 m
+-1 0.333 l
+-1 -0.333 l
+h
+</path>
+</symbol>
+<symbol name="arrow/pointed(spx)">
+<path stroke="sym-stroke" fill="sym-stroke" pen="sym-pen">
+0 0 m
+-1 0.333 l
+-0.8 0 l
+-1 -0.333 l
+h
+</path>
+</symbol>
+<symbol name="arrow/fpointed(spx)">
+<path stroke="sym-stroke" fill="white" pen="sym-pen">
+0 0 m
+-1 0.333 l
+-0.8 0 l
+-1 -0.333 l
+h
+</path>
+</symbol>
+<symbol name="arrow/linear(spx)">
+<path stroke="sym-stroke" pen="sym-pen">
+-1 0.333 m
+0 0 l
+-1 -0.333 l
+</path>
+</symbol>
+<symbol name="arrow/fdouble(spx)">
+<path stroke="sym-stroke" fill="white" pen="sym-pen">
+0 0 m
+-1 0.333 l
+-1 -0.333 l
+h
+-1 0 m
+-2 0.333 l
+-2 -0.333 l
+h
+</path>
+</symbol>
+<symbol name="arrow/double(spx)">
+<path stroke="sym-stroke" fill="sym-stroke" pen="sym-pen">
+0 0 m
+-1 0.333 l
+-1 -0.333 l
+h
+-1 0 m
+-2 0.333 l
+-2 -0.333 l
+h
+</path>
+</symbol>
+<pen name="heavier" value="0.8"/>
+<pen name="fat" value="1.2"/>
+<pen name="ultrafat" value="2"/>
+<symbolsize name="large" value="5"/>
+<symbolsize name="small" value="2"/>
+<symbolsize name="tiny" value="1.1"/>
+<arrowsize name="large" value="10"/>
+<arrowsize name="small" value="5"/>
+<arrowsize name="tiny" value="3"/>
+<color name="red" value="1 0 0"/>
+<color name="green" value="0 1 0"/>
+<color name="blue" value="0 0 1"/>
+<color name="yellow" value="1 1 0"/>
+<color name="orange" value="1 0.647 0"/>
+<color name="gold" value="1 0.843 0"/>
+<color name="purple" value="0.627 0.125 0.941"/>
+<color name="gray" value="0.745"/>
+<color name="brown" value="0.647 0.165 0.165"/>
+<color name="navy" value="0 0 0.502"/>
+<color name="pink" value="1 0.753 0.796"/>
+<color name="seagreen" value="0.18 0.545 0.341"/>
+<color name="turquoise" value="0.251 0.878 0.816"/>
+<color name="violet" value="0.933 0.51 0.933"/>
+<color name="darkblue" value="0 0 0.545"/>
+<color name="darkcyan" value="0 0.545 0.545"/>
+<color name="darkgray" value="0.663"/>
+<color name="darkgreen" value="0 0.392 0"/>
+<color name="darkmagenta" value="0.545 0 0.545"/>
+<color name="darkorange" value="1 0.549 0"/>
+<color name="darkred" value="0.545 0 0"/>
+<color name="lightblue" value="0.678 0.847 0.902"/>
+<color name="lightcyan" value="0.878 1 1"/>
+<color name="lightgray" value="0.827"/>
+<color name="lightgreen" value="0.565 0.933 0.565"/>
+<color name="lightyellow" value="1 1 0.878"/>
+<dashstyle name="dashed" value="[4] 0"/>
+<dashstyle name="dotted" value="[1 3] 0"/>
+<dashstyle name="dash dotted" value="[4 2 1 2] 0"/>
+<dashstyle name="dash dot dotted" value="[4 2 1 2 1 2] 0"/>
+<textsize name="large" value="\large"/>
+<textsize name="Large" value="\Large"/>
+<textsize name="LARGE" value="\LARGE"/>
+<textsize name="huge" value="\huge"/>
+<textsize name="Huge" value="\Huge"/>
+<textsize name="small" value="\small"/>
+<textsize name="footnote" value="\footnotesize"/>
+<textsize name="tiny" value="\tiny"/>
+<textstyle name="center" begin="\begin{center}" end="\end{center}"/>
+<textstyle name="itemize" begin="\begin{itemize}" end="\end{itemize}"/>
+<textstyle name="item" begin="\begin{itemize}\item{}" end="\end{itemize}"/>
+<gridsize name="4 pts" value="4"/>
+<gridsize name="8 pts (~3 mm)" value="8"/>
+<gridsize name="16 pts (~6 mm)" value="16"/>
+<gridsize name="32 pts (~12 mm)" value="32"/>
+<gridsize name="10 pts (~3.5 mm)" value="10"/>
+<gridsize name="20 pts (~7 mm)" value="20"/>
+<gridsize name="14 pts (~5 mm)" value="14"/>
+<gridsize name="28 pts (~10 mm)" value="28"/>
+<gridsize name="56 pts (~20 mm)" value="56"/>
+<anglesize name="90 deg" value="90"/>
+<anglesize name="60 deg" value="60"/>
+<anglesize name="45 deg" value="45"/>
+<anglesize name="30 deg" value="30"/>
+<anglesize name="22.5 deg" value="22.5"/>
+<tiling name="falling" angle="-60" step="4" width="1"/>
+<tiling name="rising" angle="30" step="4" width="1"/>
+</ipestyle>
+<page>
+<layer name="alpha"/>
+<view layers="alpha" active="alpha"/>
+<path layer="alpha" stroke="black">
+64 832 m
+144 832 l
+144 816 l
+64 816 l
+64 832 l
+</path>
+<path stroke="black">
+80 832 m
+80 816 l
+</path>
+<path stroke="black">
+96 832 m
+96 816 l
+96 816 l
+</path>
+<path stroke="black">
+128 832 m
+128 816 l
+</path>
+<text transformations="translations" pos="72 824" stroke="black" type="label" width="10.163" height="4.294" depth="1.49" halign="center" valign="center">$x_1$</text>
+<text transformations="translations" pos="88 824" stroke="black" type="label" width="10.163" height="4.294" depth="1.49" halign="center" valign="center">$x_2$</text>
+<text transformations="translations" pos="112 824" stroke="black" type="label" width="8.302" height="1.052" depth="0" halign="center" valign="center">$...$</text>
+<text transformations="translations" pos="136 824" stroke="black" type="label" width="11.117" height="4.294" depth="1.49" halign="center" valign="center">$x_n$</text>
+<path stroke="black">
+64 808 m
+144 808 l
+</path>
+<path stroke="black">
+64 792 m
+144 792 l
+</path>
+<text transformations="translations" pos="96 800" stroke="black" type="label" width="7.79" height="6.808" depth="0" halign="center" valign="center">$F$</text>
+<text transformations="translations" pos="192 816" stroke="black" type="label" width="5.535" height="6.918" depth="0" halign="center" valign="center">$\exists$</text>
+<text transformations="translations" pos="176 784" stroke="black" type="label" width="5.535" height="6.918" depth="0" halign="center" valign="center">$\forall$</text>
+<path stroke="black">
+8 0 0 8 192 816 e
+</path>
+<path stroke="black">
+8 0 0 8 176 784 e
+</path>
+<path stroke="black">
+179.578 791.155 m
+188.422 808.845 l
+</path>
+<path stroke="black">
+195.578 808.845 m
+208 784 l
+</path>
+<path stroke="black">
+160 752 m
+172.422 776.845 l
+</path>
+<path stroke="black">
+179.578 776.845 m
+192 752 l
+</path>
+</page>
+</ipe>
diff --git a/Berechenbarkeits-KomplexTh/bilder/subset_sum_opt.xml b/Berechenbarkeits-KomplexTh/bilder/subset_sum_opt.xml
new file mode 100644
index 0000000..6779ea6
--- /dev/null
+++ b/Berechenbarkeits-KomplexTh/bilder/subset_sum_opt.xml
@@ -0,0 +1,261 @@
+<?xml version="1.0"?>
+<!DOCTYPE ipe SYSTEM "ipe.dtd">
+<ipe version="70005" creator="Ipe 7.1.2">
+<info created="D:20120125101722" modified="D:20120125101722"/>
+<ipestyle name="basic">
+<symbol name="arrow/arc(spx)">
+<path stroke="sym-stroke" fill="sym-stroke" pen="sym-pen">
+0 0 m
+-1 0.333 l
+-1 -0.333 l
+h
+</path>
+</symbol>
+<symbol name="arrow/farc(spx)">
+<path stroke="sym-stroke" fill="white" pen="sym-pen">
+0 0 m
+-1 0.333 l
+-1 -0.333 l
+h
+</path>
+</symbol>
+<symbol name="mark/circle(sx)" transformations="translations">
+<path fill="sym-stroke">
+0.6 0 0 0.6 0 0 e
+0.4 0 0 0.4 0 0 e
+</path>
+</symbol>
+<symbol name="mark/disk(sx)" transformations="translations">
+<path fill="sym-stroke">
+0.6 0 0 0.6 0 0 e
+</path>
+</symbol>
+<symbol name="mark/fdisk(sfx)" transformations="translations">
+<group>
+<path fill="sym-fill">
+0.5 0 0 0.5 0 0 e
+</path>
+<path fill="sym-stroke" fillrule="eofill">
+0.6 0 0 0.6 0 0 e
+0.4 0 0 0.4 0 0 e
+</path>
+</group>
+</symbol>
+<symbol name="mark/box(sx)" transformations="translations">
+<path fill="sym-stroke" fillrule="eofill">
+-0.6 -0.6 m
+0.6 -0.6 l
+0.6 0.6 l
+-0.6 0.6 l
+h
+-0.4 -0.4 m
+0.4 -0.4 l
+0.4 0.4 l
+-0.4 0.4 l
+h
+</path>
+</symbol>
+<symbol name="mark/square(sx)" transformations="translations">
+<path fill="sym-stroke">
+-0.6 -0.6 m
+0.6 -0.6 l
+0.6 0.6 l
+-0.6 0.6 l
+h
+</path>
+</symbol>
+<symbol name="mark/fsquare(sfx)" transformations="translations">
+<group>
+<path fill="sym-fill">
+-0.5 -0.5 m
+0.5 -0.5 l
+0.5 0.5 l
+-0.5 0.5 l
+h
+</path>
+<path fill="sym-stroke" fillrule="eofill">
+-0.6 -0.6 m
+0.6 -0.6 l
+0.6 0.6 l
+-0.6 0.6 l
+h
+-0.4 -0.4 m
+0.4 -0.4 l
+0.4 0.4 l
+-0.4 0.4 l
+h
+</path>
+</group>
+</symbol>
+<symbol name="mark/cross(sx)" transformations="translations">
+<group>
+<path fill="sym-stroke">
+-0.43 -0.57 m
+0.57 0.43 l
+0.43 0.57 l
+-0.57 -0.43 l
+h
+</path>
+<path fill="sym-stroke">
+-0.43 0.57 m
+0.57 -0.43 l
+0.43 -0.57 l
+-0.57 0.43 l
+h
+</path>
+</group>
+</symbol>
+<symbol name="arrow/fnormal(spx)">
+<path stroke="sym-stroke" fill="white" pen="sym-pen">
+0 0 m
+-1 0.333 l
+-1 -0.333 l
+h
+</path>
+</symbol>
+<symbol name="arrow/pointed(spx)">
+<path stroke="sym-stroke" fill="sym-stroke" pen="sym-pen">
+0 0 m
+-1 0.333 l
+-0.8 0 l
+-1 -0.333 l
+h
+</path>
+</symbol>
+<symbol name="arrow/fpointed(spx)">
+<path stroke="sym-stroke" fill="white" pen="sym-pen">
+0 0 m
+-1 0.333 l
+-0.8 0 l
+-1 -0.333 l
+h
+</path>
+</symbol>
+<symbol name="arrow/linear(spx)">
+<path stroke="sym-stroke" pen="sym-pen">
+-1 0.333 m
+0 0 l
+-1 -0.333 l
+</path>
+</symbol>
+<symbol name="arrow/fdouble(spx)">
+<path stroke="sym-stroke" fill="white" pen="sym-pen">
+0 0 m
+-1 0.333 l
+-1 -0.333 l
+h
+-1 0 m
+-2 0.333 l
+-2 -0.333 l
+h
+</path>
+</symbol>
+<symbol name="arrow/double(spx)">
+<path stroke="sym-stroke" fill="sym-stroke" pen="sym-pen">
+0 0 m
+-1 0.333 l
+-1 -0.333 l
+h
+-1 0 m
+-2 0.333 l
+-2 -0.333 l
+h
+</path>
+</symbol>
+<pen name="heavier" value="0.8"/>
+<pen name="fat" value="1.2"/>
+<pen name="ultrafat" value="2"/>
+<symbolsize name="large" value="5"/>
+<symbolsize name="small" value="2"/>
+<symbolsize name="tiny" value="1.1"/>
+<arrowsize name="large" value="10"/>
+<arrowsize name="small" value="5"/>
+<arrowsize name="tiny" value="3"/>
+<color name="red" value="1 0 0"/>
+<color name="green" value="0 1 0"/>
+<color name="blue" value="0 0 1"/>
+<color name="yellow" value="1 1 0"/>
+<color name="orange" value="1 0.647 0"/>
+<color name="gold" value="1 0.843 0"/>
+<color name="purple" value="0.627 0.125 0.941"/>
+<color name="gray" value="0.745"/>
+<color name="brown" value="0.647 0.165 0.165"/>
+<color name="navy" value="0 0 0.502"/>
+<color name="pink" value="1 0.753 0.796"/>
+<color name="seagreen" value="0.18 0.545 0.341"/>
+<color name="turquoise" value="0.251 0.878 0.816"/>
+<color name="violet" value="0.933 0.51 0.933"/>
+<color name="darkblue" value="0 0 0.545"/>
+<color name="darkcyan" value="0 0.545 0.545"/>
+<color name="darkgray" value="0.663"/>
+<color name="darkgreen" value="0 0.392 0"/>
+<color name="darkmagenta" value="0.545 0 0.545"/>
+<color name="darkorange" value="1 0.549 0"/>
+<color name="darkred" value="0.545 0 0"/>
+<color name="lightblue" value="0.678 0.847 0.902"/>
+<color name="lightcyan" value="0.878 1 1"/>
+<color name="lightgray" value="0.827"/>
+<color name="lightgreen" value="0.565 0.933 0.565"/>
+<color name="lightyellow" value="1 1 0.878"/>
+<dashstyle name="dashed" value="[4] 0"/>
+<dashstyle name="dotted" value="[1 3] 0"/>
+<dashstyle name="dash dotted" value="[4 2 1 2] 0"/>
+<dashstyle name="dash dot dotted" value="[4 2 1 2 1 2] 0"/>
+<textsize name="large" value="\large"/>
+<textsize name="Large" value="\Large"/>
+<textsize name="LARGE" value="\LARGE"/>
+<textsize name="huge" value="\huge"/>
+<textsize name="Huge" value="\Huge"/>
+<textsize name="small" value="\small"/>
+<textsize name="footnote" value="\footnotesize"/>
+<textsize name="tiny" value="\tiny"/>
+<textstyle name="center" begin="\begin{center}" end="\end{center}"/>
+<textstyle name="itemize" begin="\begin{itemize}" end="\end{itemize}"/>
+<textstyle name="item" begin="\begin{itemize}\item{}" end="\end{itemize}"/>
+<gridsize name="4 pts" value="4"/>
+<gridsize name="8 pts (~3 mm)" value="8"/>
+<gridsize name="16 pts (~6 mm)" value="16"/>
+<gridsize name="32 pts (~12 mm)" value="32"/>
+<gridsize name="10 pts (~3.5 mm)" value="10"/>
+<gridsize name="20 pts (~7 mm)" value="20"/>
+<gridsize name="14 pts (~5 mm)" value="14"/>
+<gridsize name="28 pts (~10 mm)" value="28"/>
+<gridsize name="56 pts (~20 mm)" value="56"/>
+<anglesize name="90 deg" value="90"/>
+<anglesize name="60 deg" value="60"/>
+<anglesize name="45 deg" value="45"/>
+<anglesize name="30 deg" value="30"/>
+<anglesize name="22.5 deg" value="22.5"/>
+<tiling name="falling" angle="-60" step="4" width="1"/>
+<tiling name="rising" angle="30" step="4" width="1"/>
+</ipestyle>
+<page>
+<layer name="alpha"/>
+<view layers="alpha" active="alpha"/>
+<path layer="alpha" stroke="black">
+64 768 m
+192 768 l
+</path>
+<path stroke="black">
+128 772 m
+128 764 l
+</path>
+<path stroke="black">
+144 772 m
+144 764 l
+</path>
+<path stroke="orange">
+112 772 m
+112 764 l
+112 768 l
+</path>
+<path stroke="orange">
+112 768 m
+128 768 l
+</path>
+<text matrix="1 0 0 1 12 -8" transformations="translations" pos="116 764" stroke="orange" type="label" width="17.158" height="6.135" depth="1.93" halign="center" valign="center">opt.</text>
+<text transformations="translations" pos="144 756" stroke="black" type="label" width="5.535" height="6.918" depth="0" halign="center" valign="center">b</text>
+<text transformations="translations" pos="128 744" stroke="black" type="label" width="100.931" height="7.473" depth="2.49" halign="center" valign="center">opt. $\le (1+\epsilon)$. approx.</text>
+<use name="mark/disk(sx)" pos="116 768" size="normal" stroke="orange"/>
+</page>
+</ipe>
diff --git a/Berechenbarkeits-KomplexTh/bilder/tqbf_geo.xml b/Berechenbarkeits-KomplexTh/bilder/tqbf_geo.xml
new file mode 100644
index 0000000..2eefc32
--- /dev/null
+++ b/Berechenbarkeits-KomplexTh/bilder/tqbf_geo.xml
@@ -0,0 +1,412 @@
+<?xml version="1.0"?>
+<!DOCTYPE ipe SYSTEM "ipe.dtd">
+<ipe version="70005" creator="Ipe 7.1.2">
+<info created="D:20120125111101" modified="D:20120125111101"/>
+<ipestyle name="basic">
+<symbol name="arrow/arc(spx)">
+<path stroke="sym-stroke" fill="sym-stroke" pen="sym-pen">
+0 0 m
+-1 0.333 l
+-1 -0.333 l
+h
+</path>
+</symbol>
+<symbol name="arrow/farc(spx)">
+<path stroke="sym-stroke" fill="white" pen="sym-pen">
+0 0 m
+-1 0.333 l
+-1 -0.333 l
+h
+</path>
+</symbol>
+<symbol name="mark/circle(sx)" transformations="translations">
+<path fill="sym-stroke">
+0.6 0 0 0.6 0 0 e
+0.4 0 0 0.4 0 0 e
+</path>
+</symbol>
+<symbol name="mark/disk(sx)" transformations="translations">
+<path fill="sym-stroke">
+0.6 0 0 0.6 0 0 e
+</path>
+</symbol>
+<symbol name="mark/fdisk(sfx)" transformations="translations">
+<group>
+<path fill="sym-fill">
+0.5 0 0 0.5 0 0 e
+</path>
+<path fill="sym-stroke" fillrule="eofill">
+0.6 0 0 0.6 0 0 e
+0.4 0 0 0.4 0 0 e
+</path>
+</group>
+</symbol>
+<symbol name="mark/box(sx)" transformations="translations">
+<path fill="sym-stroke" fillrule="eofill">
+-0.6 -0.6 m
+0.6 -0.6 l
+0.6 0.6 l
+-0.6 0.6 l
+h
+-0.4 -0.4 m
+0.4 -0.4 l
+0.4 0.4 l
+-0.4 0.4 l
+h
+</path>
+</symbol>
+<symbol name="mark/square(sx)" transformations="translations">
+<path fill="sym-stroke">
+-0.6 -0.6 m
+0.6 -0.6 l
+0.6 0.6 l
+-0.6 0.6 l
+h
+</path>
+</symbol>
+<symbol name="mark/fsquare(sfx)" transformations="translations">
+<group>
+<path fill="sym-fill">
+-0.5 -0.5 m
+0.5 -0.5 l
+0.5 0.5 l
+-0.5 0.5 l
+h
+</path>
+<path fill="sym-stroke" fillrule="eofill">
+-0.6 -0.6 m
+0.6 -0.6 l
+0.6 0.6 l
+-0.6 0.6 l
+h
+-0.4 -0.4 m
+0.4 -0.4 l
+0.4 0.4 l
+-0.4 0.4 l
+h
+</path>
+</group>
+</symbol>
+<symbol name="mark/cross(sx)" transformations="translations">
+<group>
+<path fill="sym-stroke">
+-0.43 -0.57 m
+0.57 0.43 l
+0.43 0.57 l
+-0.57 -0.43 l
+h
+</path>
+<path fill="sym-stroke">
+-0.43 0.57 m
+0.57 -0.43 l
+0.43 -0.57 l
+-0.57 0.43 l
+h
+</path>
+</group>
+</symbol>
+<symbol name="arrow/fnormal(spx)">
+<path stroke="sym-stroke" fill="white" pen="sym-pen">
+0 0 m
+-1 0.333 l
+-1 -0.333 l
+h
+</path>
+</symbol>
+<symbol name="arrow/pointed(spx)">
+<path stroke="sym-stroke" fill="sym-stroke" pen="sym-pen">
+0 0 m
+-1 0.333 l
+-0.8 0 l
+-1 -0.333 l
+h
+</path>
+</symbol>
+<symbol name="arrow/fpointed(spx)">
+<path stroke="sym-stroke" fill="white" pen="sym-pen">
+0 0 m
+-1 0.333 l
+-0.8 0 l
+-1 -0.333 l
+h
+</path>
+</symbol>
+<symbol name="arrow/linear(spx)">
+<path stroke="sym-stroke" pen="sym-pen">
+-1 0.333 m
+0 0 l
+-1 -0.333 l
+</path>
+</symbol>
+<symbol name="arrow/fdouble(spx)">
+<path stroke="sym-stroke" fill="white" pen="sym-pen">
+0 0 m
+-1 0.333 l
+-1 -0.333 l
+h
+-1 0 m
+-2 0.333 l
+-2 -0.333 l
+h
+</path>
+</symbol>
+<symbol name="arrow/double(spx)">
+<path stroke="sym-stroke" fill="sym-stroke" pen="sym-pen">
+0 0 m
+-1 0.333 l
+-1 -0.333 l
+h
+-1 0 m
+-2 0.333 l
+-2 -0.333 l
+h
+</path>
+</symbol>
+<pen name="heavier" value="0.8"/>
+<pen name="fat" value="1.2"/>
+<pen name="ultrafat" value="2"/>
+<symbolsize name="large" value="5"/>
+<symbolsize name="small" value="2"/>
+<symbolsize name="tiny" value="1.1"/>
+<arrowsize name="large" value="10"/>
+<arrowsize name="small" value="5"/>
+<arrowsize name="tiny" value="3"/>
+<color name="red" value="1 0 0"/>
+<color name="green" value="0 1 0"/>
+<color name="blue" value="0 0 1"/>
+<color name="yellow" value="1 1 0"/>
+<color name="orange" value="1 0.647 0"/>
+<color name="gold" value="1 0.843 0"/>
+<color name="purple" value="0.627 0.125 0.941"/>
+<color name="gray" value="0.745"/>
+<color name="brown" value="0.647 0.165 0.165"/>
+<color name="navy" value="0 0 0.502"/>
+<color name="pink" value="1 0.753 0.796"/>
+<color name="seagreen" value="0.18 0.545 0.341"/>
+<color name="turquoise" value="0.251 0.878 0.816"/>
+<color name="violet" value="0.933 0.51 0.933"/>
+<color name="darkblue" value="0 0 0.545"/>
+<color name="darkcyan" value="0 0.545 0.545"/>
+<color name="darkgray" value="0.663"/>
+<color name="darkgreen" value="0 0.392 0"/>
+<color name="darkmagenta" value="0.545 0 0.545"/>
+<color name="darkorange" value="1 0.549 0"/>
+<color name="darkred" value="0.545 0 0"/>
+<color name="lightblue" value="0.678 0.847 0.902"/>
+<color name="lightcyan" value="0.878 1 1"/>
+<color name="lightgray" value="0.827"/>
+<color name="lightgreen" value="0.565 0.933 0.565"/>
+<color name="lightyellow" value="1 1 0.878"/>
+<dashstyle name="dashed" value="[4] 0"/>
+<dashstyle name="dotted" value="[1 3] 0"/>
+<dashstyle name="dash dotted" value="[4 2 1 2] 0"/>
+<dashstyle name="dash dot dotted" value="[4 2 1 2 1 2] 0"/>
+<textsize name="large" value="\large"/>
+<textsize name="Large" value="\Large"/>
+<textsize name="LARGE" value="\LARGE"/>
+<textsize name="huge" value="\huge"/>
+<textsize name="Huge" value="\Huge"/>
+<textsize name="small" value="\small"/>
+<textsize name="footnote" value="\footnotesize"/>
+<textsize name="tiny" value="\tiny"/>
+<textstyle name="center" begin="\begin{center}" end="\end{center}"/>
+<textstyle name="itemize" begin="\begin{itemize}" end="\end{itemize}"/>
+<textstyle name="item" begin="\begin{itemize}\item{}" end="\end{itemize}"/>
+<gridsize name="4 pts" value="4"/>
+<gridsize name="8 pts (~3 mm)" value="8"/>
+<gridsize name="16 pts (~6 mm)" value="16"/>
+<gridsize name="32 pts (~12 mm)" value="32"/>
+<gridsize name="10 pts (~3.5 mm)" value="10"/>
+<gridsize name="20 pts (~7 mm)" value="20"/>
+<gridsize name="14 pts (~5 mm)" value="14"/>
+<gridsize name="28 pts (~10 mm)" value="28"/>
+<gridsize name="56 pts (~20 mm)" value="56"/>
+<anglesize name="90 deg" value="90"/>
+<anglesize name="60 deg" value="60"/>
+<anglesize name="45 deg" value="45"/>
+<anglesize name="30 deg" value="30"/>
+<anglesize name="22.5 deg" value="22.5"/>
+<tiling name="falling" angle="-60" step="4" width="1"/>
+<tiling name="rising" angle="30" step="4" width="1"/>
+</ipestyle>
+<page>
+<layer name="alpha"/>
+<layer name="beta"/>
+<view layers="alpha beta" active="beta"/>
+<path layer="alpha" stroke="black" arrow="normal/normal">
+68 788 m
+92 812 l
+</path>
+<path stroke="black" arrow="normal/normal">
+100 812 m
+124 788 l
+</path>
+<path stroke="black" arrow="normal/normal">
+68 780 m
+92 756 l
+</path>
+<path stroke="black" arrow="normal/normal">
+100 756 m
+124 780 l
+</path>
+<path stroke="black" arrow="normal/normal">
+132 784 m
+156 784 l
+</path>
+<path matrix="1 0 0 1 96 0" stroke="black" arrow="normal/normal">
+68 788 m
+92 812 l
+</path>
+<path matrix="1 0 0 1 96 0" stroke="black" arrow="normal/normal">
+100 812 m
+124 788 l
+</path>
+<path matrix="1 0 0 1 96 0" stroke="black" arrow="normal/normal">
+68 780 m
+92 756 l
+</path>
+<path matrix="1 0 0 1 96 0" stroke="black" arrow="normal/normal">
+100 756 m
+124 780 l
+</path>
+<path matrix="1 0 0 1 96 0" stroke="black" arrow="normal/normal">
+132 784 m
+156 784 l
+</path>
+<path matrix="1 0 0 1 192 0" stroke="black" arrow="normal/normal">
+68 788 m
+92 812 l
+</path>
+<path matrix="1 0 0 1 192 0" stroke="black" arrow="normal/normal">
+100 812 m
+124 788 l
+</path>
+<path matrix="1 0 0 1 192 0" stroke="black" arrow="normal/normal">
+68 780 m
+92 756 l
+</path>
+<path matrix="1 0 0 1 192 0" stroke="black" arrow="normal/normal">
+100 756 m
+124 780 l
+</path>
+<path matrix="1 0 0 1 208 0" stroke="black" arrow="normal/normal">
+132 784 m
+156 784 l
+</path>
+<path matrix="1 0 0 1 304 0" stroke="black" arrow="normal/normal">
+68 788 m
+92 812 l
+</path>
+<path matrix="1 0 0 1 304 0" stroke="black" arrow="normal/normal">
+100 812 m
+124 788 l
+</path>
+<path matrix="1 0 0 1 304 0" stroke="black" arrow="normal/normal">
+68 780 m
+92 756 l
+</path>
+<path matrix="1 0 0 1 304 0" stroke="black" arrow="normal/normal">
+100 756 m
+124 780 l
+</path>
+<use name="mark/disk(sx)" pos="64 784" size="normal" stroke="black"/>
+<use name="mark/disk(sx)" pos="96 816" size="normal" stroke="black"/>
+<use name="mark/disk(sx)" pos="96 752" size="normal" stroke="black"/>
+<use name="mark/disk(sx)" pos="128 784" size="normal" stroke="black"/>
+<use name="mark/disk(sx)" pos="160 784" size="normal" stroke="black"/>
+<use name="mark/disk(sx)" pos="192 816" size="normal" stroke="black"/>
+<use name="mark/disk(sx)" pos="192 752" size="normal" stroke="black"/>
+<use name="mark/disk(sx)" pos="224 784" size="normal" stroke="black"/>
+<use name="mark/disk(sx)" pos="256 784" size="normal" stroke="black"/>
+<use name="mark/disk(sx)" pos="320 784" size="normal" stroke="black"/>
+<use name="mark/disk(sx)" pos="368 784" size="normal" stroke="black"/>
+<use name="mark/disk(sx)" pos="288 816" size="normal" stroke="black"/>
+<use name="mark/disk(sx)" pos="288 752" size="normal" stroke="black"/>
+<use name="mark/disk(sx)" pos="400 816" size="normal" stroke="black"/>
+<use name="mark/disk(sx)" pos="400 752" size="normal" stroke="black"/>
+<use name="mark/disk(sx)" pos="432 784" size="normal" stroke="black"/>
+<text transformations="translations" pos="332 784" stroke="black" type="label" width="8.302" height="1.052" depth="0" halign="center" valign="center">$...$</text>
+<text layer="beta" transformations="translations" pos="56 784" stroke="black" type="label" width="5.535" height="6.808" depth="0" halign="center" valign="center">S</text>
+<text transformations="translations" pos="76 784" stroke="blue" type="label" width="3.598" height="6.808" depth="0" halign="center" valign="center">I</text>
+<text transformations="translations" pos="116 784" stroke="blue" type="label" width="7.472" height="6.808" depth="0" halign="center" valign="center">II</text>
+<text transformations="translations" pos="144 792" stroke="blue" type="label" width="3.598" height="6.808" depth="0" halign="center" valign="center">I</text>
+<text transformations="translations" pos="172 784" stroke="blue" type="label" width="7.472" height="6.808" depth="0" halign="center" valign="center">II</text>
+<text transformations="translations" pos="212 784" stroke="blue" type="label" width="3.598" height="6.808" depth="0" halign="center" valign="center">I</text>
+<text transformations="translations" pos="240 792" stroke="blue" type="label" width="7.472" height="6.808" depth="0" halign="center" valign="center">II</text>
+<text transformations="translations" pos="268 784" stroke="blue" type="label" width="3.598" height="6.808" depth="0" halign="center" valign="center">I</text>
+<text transformations="translations" pos="308 784" stroke="blue" type="label" width="7.472" height="6.808" depth="0" halign="center" valign="center">II</text>
+<text transformations="translations" pos="380 784" stroke="blue" type="label" width="3.598" height="6.808" depth="0" halign="center" valign="center">I</text>
+<text transformations="translations" pos="420 784" stroke="blue" type="label" width="7.472" height="6.808" depth="0" halign="center" valign="center">II</text>
+<text transformations="translations" pos="72 808" stroke="orange" type="label" width="4.981" height="6.42" depth="0" halign="center" valign="center">$1$</text>
+<text transformations="translations" pos="72 760" stroke="orange" type="label" width="4.981" height="6.42" depth="0" halign="center" valign="center">$0$</text>
+<text matrix="1 0 0 1 96 0" transformations="translations" pos="72 808" stroke="orange" type="label" width="4.981" height="6.42" depth="0" halign="center" valign="center">$1$</text>
+<text matrix="1 0 0 1 96 0" transformations="translations" pos="72 760" stroke="orange" type="label" width="4.981" height="6.42" depth="0" halign="center" valign="center">$0$</text>
+<text matrix="1 0 0 1 192 0" transformations="translations" pos="72 808" stroke="orange" type="label" width="4.981" height="6.42" depth="0" halign="center" valign="center">$1$</text>
+<text matrix="1 0 0 1 192 0" transformations="translations" pos="72 760" stroke="orange" type="label" width="4.981" height="6.42" depth="0" halign="center" valign="center">$0$</text>
+<text matrix="1 0 0 1 304 0" transformations="translations" pos="72 808" stroke="orange" type="label" width="4.981" height="6.42" depth="0" halign="center" valign="center">$1$</text>
+<text matrix="1 0 0 1 304 0" transformations="translations" pos="72 760" stroke="orange" type="label" width="4.981" height="6.42" depth="0" halign="center" valign="center">$0$</text>
+<text transformations="translations" pos="96 832" stroke="orange" type="label" width="13.462" height="6.179" depth="2.15" halign="center" valign="center" size="Large">$x_1$</text>
+<text transformations="translations" pos="192 832" stroke="orange" type="label" width="13.462" height="6.179" depth="2.15" halign="center" valign="center" size="Large">$x_2$</text>
+<text transformations="translations" pos="288 832" stroke="orange" type="label" width="13.462" height="6.179" depth="2.15" halign="center" valign="center" size="Large">$x_2$</text>
+<text transformations="translations" pos="400 832" stroke="orange" type="label" width="14.461" height="6.179" depth="2.15" halign="center" valign="center" size="Large">$x_n$</text>
+<path stroke="black" arrow="normal/normal">
+400 752 m
+400 688
+336 688 s
+</path>
+<use name="mark/disk(sx)" pos="332 688" size="normal" stroke="black"/>
+<use name="mark/disk(sx)" pos="256 696" size="normal" stroke="black"/>
+<use name="mark/disk(sx)" pos="256 712" size="normal" stroke="black"/>
+<use name="mark/disk(sx)" pos="256 680" size="normal" stroke="black"/>
+<use name="mark/disk(sx)" pos="256 664" size="normal" stroke="black"/>
+<use matrix="1 0 0 1 -32 0" name="mark/disk(sx)" pos="224 712" size="normal" stroke="black"/>
+<use matrix="1 0 0 1 -32 0" name="mark/disk(sx)" pos="224 728" size="normal" stroke="black"/>
+<use matrix="1 0 0 1 -32 0" name="mark/disk(sx)" pos="224 696" size="normal" stroke="black"/>
+<path stroke="black" arrow="normal/normal">
+332 688 m
+256 712 l
+</path>
+<path stroke="black" arrow="normal/normal">
+332 688 m
+256 696 l
+</path>
+<path stroke="black" arrow="normal/normal">
+332 688 m
+256 680 l
+</path>
+<path stroke="black" arrow="normal/normal">
+332 688 m
+256 664 l
+</path>
+<path stroke="black" arrow="normal/normal">
+256 712 m
+192 728 l
+</path>
+<path stroke="black" arrow="normal/normal">
+256 712 m
+192 712 l
+</path>
+<path stroke="black" arrow="normal/normal">
+256 712 m
+192 696 l
+</path>
+<text transformations="translations" pos="296 712" stroke="blue" type="label" width="7.472" height="6.808" depth="0" halign="center" valign="center">II</text>
+<text transformations="translations" pos="224 728" stroke="blue" type="label" width="3.598" height="6.808" depth="0" halign="center" valign="center">I</text>
+<path stroke="black" arrow="normal/normal">
+192 728 m
+96 728
+96 752 s
+</path>
+<text transformations="translations" pos="104 724" stroke="blue" type="label" width="7.472" height="6.808" depth="0" halign="center" valign="center">II</text>
+<text matrix="1 0 0 1 0 4" transformations="translations" pos="188 732" stroke="orange" type="label" width="10.163" height="4.294" depth="1.49" halign="center" valign="center">$x_1$</text>
+<text matrix="1 0 0 1 0 4" transformations="translations" pos="188 716" stroke="orange" type="label" width="10.163" height="6.286" depth="1.49" halign="center" valign="center">$\overline{x_2}$</text>
+<text matrix="1 0 0 1 0 4" transformations="translations" pos="188 700" stroke="orange" type="label" width="10.163" height="4.294" depth="1.49" halign="center" valign="center">$x_3$</text>
+<text transformations="translations" pos="256 720" stroke="orange" type="label" width="11.59" height="6.812" depth="1.49" halign="center" valign="center">$C_1$</text>
+<text transformations="translations" pos="256 704" stroke="orange" type="label" width="11.59" height="6.812" depth="1.49" halign="center" valign="center">$C_2$</text>
+<text transformations="translations" pos="256 688" stroke="orange" type="label" width="11.59" height="6.812" depth="1.49" halign="center" valign="center">$C_3$</text>
+<text matrix="1 0 0 1 0 -16" transformations="translations" pos="256 672" stroke="orange" type="label" width="14.688" height="6.812" depth="1.49" halign="center" valign="center">$C_m$</text>
+<text transformations="translations" pos="256 672" stroke="orange" type="label" width="8.302" height="1.052" depth="0" halign="center" valign="center">...</text>
+<text transformations="translations" pos="192 684" stroke="orange" type="label" width="8.302" height="1.052" depth="0" valign="baseline">...</text>
+<text transformations="translations" pos="112 672" stroke="black" type="label" width="77.502" height="6.812" depth="1.49" valign="baseline">$C_1 = x_1 \land \overline{x_2} \land x_3$</text>
+</page>
+</ipe>
diff --git a/Berechenbarkeits-KomplexTh/bilder/tsp_dreieck_2.xml b/Berechenbarkeits-KomplexTh/bilder/tsp_dreieck_2.xml
new file mode 100644
index 0000000..29efc1e
--- /dev/null
+++ b/Berechenbarkeits-KomplexTh/bilder/tsp_dreieck_2.xml
@@ -0,0 +1,248 @@
+<?xml version="1.0"?>
+<!DOCTYPE ipe SYSTEM "ipe.dtd">
+<ipe version="70005" creator="Ipe 7.1.2">
+<info created="D:20120125093722" modified="D:20120125093722"/>
+<ipestyle name="basic">
+<symbol name="arrow/arc(spx)">
+<path stroke="sym-stroke" fill="sym-stroke" pen="sym-pen">
+0 0 m
+-1 0.333 l
+-1 -0.333 l
+h
+</path>
+</symbol>
+<symbol name="arrow/farc(spx)">
+<path stroke="sym-stroke" fill="white" pen="sym-pen">
+0 0 m
+-1 0.333 l
+-1 -0.333 l
+h
+</path>
+</symbol>
+<symbol name="mark/circle(sx)" transformations="translations">
+<path fill="sym-stroke">
+0.6 0 0 0.6 0 0 e
+0.4 0 0 0.4 0 0 e
+</path>
+</symbol>
+<symbol name="mark/disk(sx)" transformations="translations">
+<path fill="sym-stroke">
+0.6 0 0 0.6 0 0 e
+</path>
+</symbol>
+<symbol name="mark/fdisk(sfx)" transformations="translations">
+<group>
+<path fill="sym-fill">
+0.5 0 0 0.5 0 0 e
+</path>
+<path fill="sym-stroke" fillrule="eofill">
+0.6 0 0 0.6 0 0 e
+0.4 0 0 0.4 0 0 e
+</path>
+</group>
+</symbol>
+<symbol name="mark/box(sx)" transformations="translations">
+<path fill="sym-stroke" fillrule="eofill">
+-0.6 -0.6 m
+0.6 -0.6 l
+0.6 0.6 l
+-0.6 0.6 l
+h
+-0.4 -0.4 m
+0.4 -0.4 l
+0.4 0.4 l
+-0.4 0.4 l
+h
+</path>
+</symbol>
+<symbol name="mark/square(sx)" transformations="translations">
+<path fill="sym-stroke">
+-0.6 -0.6 m
+0.6 -0.6 l
+0.6 0.6 l
+-0.6 0.6 l
+h
+</path>
+</symbol>
+<symbol name="mark/fsquare(sfx)" transformations="translations">
+<group>
+<path fill="sym-fill">
+-0.5 -0.5 m
+0.5 -0.5 l
+0.5 0.5 l
+-0.5 0.5 l
+h
+</path>
+<path fill="sym-stroke" fillrule="eofill">
+-0.6 -0.6 m
+0.6 -0.6 l
+0.6 0.6 l
+-0.6 0.6 l
+h
+-0.4 -0.4 m
+0.4 -0.4 l
+0.4 0.4 l
+-0.4 0.4 l
+h
+</path>
+</group>
+</symbol>
+<symbol name="mark/cross(sx)" transformations="translations">
+<group>
+<path fill="sym-stroke">
+-0.43 -0.57 m
+0.57 0.43 l
+0.43 0.57 l
+-0.57 -0.43 l
+h
+</path>
+<path fill="sym-stroke">
+-0.43 0.57 m
+0.57 -0.43 l
+0.43 -0.57 l
+-0.57 0.43 l
+h
+</path>
+</group>
+</symbol>
+<symbol name="arrow/fnormal(spx)">
+<path stroke="sym-stroke" fill="white" pen="sym-pen">
+0 0 m
+-1 0.333 l
+-1 -0.333 l
+h
+</path>
+</symbol>
+<symbol name="arrow/pointed(spx)">
+<path stroke="sym-stroke" fill="sym-stroke" pen="sym-pen">
+0 0 m
+-1 0.333 l
+-0.8 0 l
+-1 -0.333 l
+h
+</path>
+</symbol>
+<symbol name="arrow/fpointed(spx)">
+<path stroke="sym-stroke" fill="white" pen="sym-pen">
+0 0 m
+-1 0.333 l
+-0.8 0 l
+-1 -0.333 l
+h
+</path>
+</symbol>
+<symbol name="arrow/linear(spx)">
+<path stroke="sym-stroke" pen="sym-pen">
+-1 0.333 m
+0 0 l
+-1 -0.333 l
+</path>
+</symbol>
+<symbol name="arrow/fdouble(spx)">
+<path stroke="sym-stroke" fill="white" pen="sym-pen">
+0 0 m
+-1 0.333 l
+-1 -0.333 l
+h
+-1 0 m
+-2 0.333 l
+-2 -0.333 l
+h
+</path>
+</symbol>
+<symbol name="arrow/double(spx)">
+<path stroke="sym-stroke" fill="sym-stroke" pen="sym-pen">
+0 0 m
+-1 0.333 l
+-1 -0.333 l
+h
+-1 0 m
+-2 0.333 l
+-2 -0.333 l
+h
+</path>
+</symbol>
+<pen name="heavier" value="0.8"/>
+<pen name="fat" value="1.2"/>
+<pen name="ultrafat" value="2"/>
+<symbolsize name="large" value="5"/>
+<symbolsize name="small" value="2"/>
+<symbolsize name="tiny" value="1.1"/>
+<arrowsize name="large" value="10"/>
+<arrowsize name="small" value="5"/>
+<arrowsize name="tiny" value="3"/>
+<color name="red" value="1 0 0"/>
+<color name="green" value="0 1 0"/>
+<color name="blue" value="0 0 1"/>
+<color name="yellow" value="1 1 0"/>
+<color name="orange" value="1 0.647 0"/>
+<color name="gold" value="1 0.843 0"/>
+<color name="purple" value="0.627 0.125 0.941"/>
+<color name="gray" value="0.745"/>
+<color name="brown" value="0.647 0.165 0.165"/>
+<color name="navy" value="0 0 0.502"/>
+<color name="pink" value="1 0.753 0.796"/>
+<color name="seagreen" value="0.18 0.545 0.341"/>
+<color name="turquoise" value="0.251 0.878 0.816"/>
+<color name="violet" value="0.933 0.51 0.933"/>
+<color name="darkblue" value="0 0 0.545"/>
+<color name="darkcyan" value="0 0.545 0.545"/>
+<color name="darkgray" value="0.663"/>
+<color name="darkgreen" value="0 0.392 0"/>
+<color name="darkmagenta" value="0.545 0 0.545"/>
+<color name="darkorange" value="1 0.549 0"/>
+<color name="darkred" value="0.545 0 0"/>
+<color name="lightblue" value="0.678 0.847 0.902"/>
+<color name="lightcyan" value="0.878 1 1"/>
+<color name="lightgray" value="0.827"/>
+<color name="lightgreen" value="0.565 0.933 0.565"/>
+<color name="lightyellow" value="1 1 0.878"/>
+<dashstyle name="dashed" value="[4] 0"/>
+<dashstyle name="dotted" value="[1 3] 0"/>
+<dashstyle name="dash dotted" value="[4 2 1 2] 0"/>
+<dashstyle name="dash dot dotted" value="[4 2 1 2 1 2] 0"/>
+<textsize name="large" value="\large"/>
+<textsize name="Large" value="\Large"/>
+<textsize name="LARGE" value="\LARGE"/>
+<textsize name="huge" value="\huge"/>
+<textsize name="Huge" value="\Huge"/>
+<textsize name="small" value="\small"/>
+<textsize name="footnote" value="\footnotesize"/>
+<textsize name="tiny" value="\tiny"/>
+<textstyle name="center" begin="\begin{center}" end="\end{center}"/>
+<textstyle name="itemize" begin="\begin{itemize}" end="\end{itemize}"/>
+<textstyle name="item" begin="\begin{itemize}\item{}" end="\end{itemize}"/>
+<gridsize name="4 pts" value="4"/>
+<gridsize name="8 pts (~3 mm)" value="8"/>
+<gridsize name="16 pts (~6 mm)" value="16"/>
+<gridsize name="32 pts (~12 mm)" value="32"/>
+<gridsize name="10 pts (~3.5 mm)" value="10"/>
+<gridsize name="20 pts (~7 mm)" value="20"/>
+<gridsize name="14 pts (~5 mm)" value="14"/>
+<gridsize name="28 pts (~10 mm)" value="28"/>
+<gridsize name="56 pts (~20 mm)" value="56"/>
+<anglesize name="90 deg" value="90"/>
+<anglesize name="60 deg" value="60"/>
+<anglesize name="45 deg" value="45"/>
+<anglesize name="30 deg" value="30"/>
+<anglesize name="22.5 deg" value="22.5"/>
+<tiling name="falling" angle="-60" step="4" width="1"/>
+<tiling name="rising" angle="30" step="4" width="1"/>
+</ipestyle>
+<page>
+<layer name="alpha"/>
+<view layers="alpha" active="alpha"/>
+<path layer="alpha" stroke="black">
+128 768 m
+176 768 l
+152 784 l
+128 768 l
+</path>
+<use name="mark/disk(sx)" pos="128 768" size="normal" stroke="black"/>
+<use name="mark/disk(sx)" pos="152 784" size="normal" stroke="black"/>
+<use name="mark/disk(sx)" pos="176 768" size="normal" stroke="black"/>
+<text transformations="translations" pos="152 760" stroke="black" type="label" width="4.981" height="6.42" depth="0" halign="center" valign="center">3</text>
+<text transformations="translations" pos="168 784" stroke="black" type="label" width="4.981" height="6.42" depth="0" halign="center" valign="center">1</text>
+<text transformations="translations" pos="136 784" stroke="black" type="label" width="4.981" height="6.42" depth="0" halign="center" valign="center">1</text>
+</page>
+</ipe>
diff --git a/Berechenbarkeits-KomplexTh/bilder/tsp_graph.xml b/Berechenbarkeits-KomplexTh/bilder/tsp_graph.xml
new file mode 100644
index 0000000..41b5933
--- /dev/null
+++ b/Berechenbarkeits-KomplexTh/bilder/tsp_graph.xml
@@ -0,0 +1,251 @@
+<?xml version="1.0"?>
+<!DOCTYPE ipe SYSTEM "ipe.dtd">
+<ipe version="70005" creator="Ipe 7.1.2">
+<info created="D:20120125094428" modified="D:20120125094428"/>
+<ipestyle name="basic">
+<symbol name="arrow/arc(spx)">
+<path stroke="sym-stroke" fill="sym-stroke" pen="sym-pen">
+0 0 m
+-1 0.333 l
+-1 -0.333 l
+h
+</path>
+</symbol>
+<symbol name="arrow/farc(spx)">
+<path stroke="sym-stroke" fill="white" pen="sym-pen">
+0 0 m
+-1 0.333 l
+-1 -0.333 l
+h
+</path>
+</symbol>
+<symbol name="mark/circle(sx)" transformations="translations">
+<path fill="sym-stroke">
+0.6 0 0 0.6 0 0 e
+0.4 0 0 0.4 0 0 e
+</path>
+</symbol>
+<symbol name="mark/disk(sx)" transformations="translations">
+<path fill="sym-stroke">
+0.6 0 0 0.6 0 0 e
+</path>
+</symbol>
+<symbol name="mark/fdisk(sfx)" transformations="translations">
+<group>
+<path fill="sym-fill">
+0.5 0 0 0.5 0 0 e
+</path>
+<path fill="sym-stroke" fillrule="eofill">
+0.6 0 0 0.6 0 0 e
+0.4 0 0 0.4 0 0 e
+</path>
+</group>
+</symbol>
+<symbol name="mark/box(sx)" transformations="translations">
+<path fill="sym-stroke" fillrule="eofill">
+-0.6 -0.6 m
+0.6 -0.6 l
+0.6 0.6 l
+-0.6 0.6 l
+h
+-0.4 -0.4 m
+0.4 -0.4 l
+0.4 0.4 l
+-0.4 0.4 l
+h
+</path>
+</symbol>
+<symbol name="mark/square(sx)" transformations="translations">
+<path fill="sym-stroke">
+-0.6 -0.6 m
+0.6 -0.6 l
+0.6 0.6 l
+-0.6 0.6 l
+h
+</path>
+</symbol>
+<symbol name="mark/fsquare(sfx)" transformations="translations">
+<group>
+<path fill="sym-fill">
+-0.5 -0.5 m
+0.5 -0.5 l
+0.5 0.5 l
+-0.5 0.5 l
+h
+</path>
+<path fill="sym-stroke" fillrule="eofill">
+-0.6 -0.6 m
+0.6 -0.6 l
+0.6 0.6 l
+-0.6 0.6 l
+h
+-0.4 -0.4 m
+0.4 -0.4 l
+0.4 0.4 l
+-0.4 0.4 l
+h
+</path>
+</group>
+</symbol>
+<symbol name="mark/cross(sx)" transformations="translations">
+<group>
+<path fill="sym-stroke">
+-0.43 -0.57 m
+0.57 0.43 l
+0.43 0.57 l
+-0.57 -0.43 l
+h
+</path>
+<path fill="sym-stroke">
+-0.43 0.57 m
+0.57 -0.43 l
+0.43 -0.57 l
+-0.57 0.43 l
+h
+</path>
+</group>
+</symbol>
+<symbol name="arrow/fnormal(spx)">
+<path stroke="sym-stroke" fill="white" pen="sym-pen">
+0 0 m
+-1 0.333 l
+-1 -0.333 l
+h
+</path>
+</symbol>
+<symbol name="arrow/pointed(spx)">
+<path stroke="sym-stroke" fill="sym-stroke" pen="sym-pen">
+0 0 m
+-1 0.333 l
+-0.8 0 l
+-1 -0.333 l
+h
+</path>
+</symbol>
+<symbol name="arrow/fpointed(spx)">
+<path stroke="sym-stroke" fill="white" pen="sym-pen">
+0 0 m
+-1 0.333 l
+-0.8 0 l
+-1 -0.333 l
+h
+</path>
+</symbol>
+<symbol name="arrow/linear(spx)">
+<path stroke="sym-stroke" pen="sym-pen">
+-1 0.333 m
+0 0 l
+-1 -0.333 l
+</path>
+</symbol>
+<symbol name="arrow/fdouble(spx)">
+<path stroke="sym-stroke" fill="white" pen="sym-pen">
+0 0 m
+-1 0.333 l
+-1 -0.333 l
+h
+-1 0 m
+-2 0.333 l
+-2 -0.333 l
+h
+</path>
+</symbol>
+<symbol name="arrow/double(spx)">
+<path stroke="sym-stroke" fill="sym-stroke" pen="sym-pen">
+0 0 m
+-1 0.333 l
+-1 -0.333 l
+h
+-1 0 m
+-2 0.333 l
+-2 -0.333 l
+h
+</path>
+</symbol>
+<pen name="heavier" value="0.8"/>
+<pen name="fat" value="1.2"/>
+<pen name="ultrafat" value="2"/>
+<symbolsize name="large" value="5"/>
+<symbolsize name="small" value="2"/>
+<symbolsize name="tiny" value="1.1"/>
+<arrowsize name="large" value="10"/>
+<arrowsize name="small" value="5"/>
+<arrowsize name="tiny" value="3"/>
+<color name="red" value="1 0 0"/>
+<color name="green" value="0 1 0"/>
+<color name="blue" value="0 0 1"/>
+<color name="yellow" value="1 1 0"/>
+<color name="orange" value="1 0.647 0"/>
+<color name="gold" value="1 0.843 0"/>
+<color name="purple" value="0.627 0.125 0.941"/>
+<color name="gray" value="0.745"/>
+<color name="brown" value="0.647 0.165 0.165"/>
+<color name="navy" value="0 0 0.502"/>
+<color name="pink" value="1 0.753 0.796"/>
+<color name="seagreen" value="0.18 0.545 0.341"/>
+<color name="turquoise" value="0.251 0.878 0.816"/>
+<color name="violet" value="0.933 0.51 0.933"/>
+<color name="darkblue" value="0 0 0.545"/>
+<color name="darkcyan" value="0 0.545 0.545"/>
+<color name="darkgray" value="0.663"/>
+<color name="darkgreen" value="0 0.392 0"/>
+<color name="darkmagenta" value="0.545 0 0.545"/>
+<color name="darkorange" value="1 0.549 0"/>
+<color name="darkred" value="0.545 0 0"/>
+<color name="lightblue" value="0.678 0.847 0.902"/>
+<color name="lightcyan" value="0.878 1 1"/>
+<color name="lightgray" value="0.827"/>
+<color name="lightgreen" value="0.565 0.933 0.565"/>
+<color name="lightyellow" value="1 1 0.878"/>
+<dashstyle name="dashed" value="[4] 0"/>
+<dashstyle name="dotted" value="[1 3] 0"/>
+<dashstyle name="dash dotted" value="[4 2 1 2] 0"/>
+<dashstyle name="dash dot dotted" value="[4 2 1 2 1 2] 0"/>
+<textsize name="large" value="\large"/>
+<textsize name="Large" value="\Large"/>
+<textsize name="LARGE" value="\LARGE"/>
+<textsize name="huge" value="\huge"/>
+<textsize name="Huge" value="\Huge"/>
+<textsize name="small" value="\small"/>
+<textsize name="footnote" value="\footnotesize"/>
+<textsize name="tiny" value="\tiny"/>
+<textstyle name="center" begin="\begin{center}" end="\end{center}"/>
+<textstyle name="itemize" begin="\begin{itemize}" end="\end{itemize}"/>
+<textstyle name="item" begin="\begin{itemize}\item{}" end="\end{itemize}"/>
+<gridsize name="4 pts" value="4"/>
+<gridsize name="8 pts (~3 mm)" value="8"/>
+<gridsize name="16 pts (~6 mm)" value="16"/>
+<gridsize name="32 pts (~12 mm)" value="32"/>
+<gridsize name="10 pts (~3.5 mm)" value="10"/>
+<gridsize name="20 pts (~7 mm)" value="20"/>
+<gridsize name="14 pts (~5 mm)" value="14"/>
+<gridsize name="28 pts (~10 mm)" value="28"/>
+<gridsize name="56 pts (~20 mm)" value="56"/>
+<anglesize name="90 deg" value="90"/>
+<anglesize name="60 deg" value="60"/>
+<anglesize name="45 deg" value="45"/>
+<anglesize name="30 deg" value="30"/>
+<anglesize name="22.5 deg" value="22.5"/>
+<tiling name="falling" angle="-60" step="4" width="1"/>
+<tiling name="rising" angle="30" step="4" width="1"/>
+</ipestyle>
+<page>
+<layer name="alpha"/>
+<view layers="alpha" active="alpha"/>
+<path layer="alpha" stroke="black">
+64 768 m
+64 816 l
+112 816 l
+112 768 l
+</path>
+<use name="mark/disk(sx)" pos="64 768" size="normal" stroke="black"/>
+<use name="mark/disk(sx)" pos="64 816" size="normal" stroke="black"/>
+<use name="mark/disk(sx)" pos="112 816" size="normal" stroke="black"/>
+<use name="mark/disk(sx)" pos="112 768" size="normal" stroke="black"/>
+<text transformations="translations" pos="56 760" stroke="black" type="label" width="4.981" height="6.42" depth="0" halign="center" valign="center">1</text>
+<text transformations="translations" pos="56 824" stroke="black" type="label" width="4.981" height="6.42" depth="0" halign="center" valign="center">2</text>
+<text transformations="translations" pos="120 824" stroke="black" type="label" width="4.981" height="6.42" depth="0" halign="center" valign="center">3</text>
+<text transformations="translations" pos="120 760" stroke="black" type="label" width="4.981" height="6.42" depth="0" halign="center" valign="center">4</text>
+<text transformations="translations" pos="32 792" stroke="black" type="label" width="11.022" height="9.803" depth="0" valign="center" size="Large">G</text>
+</page>
+</ipe>