From ce10ad568a11302d01879e7cc165aefc2de42fdd Mon Sep 17 00:00:00 2001
From: Thomas Ba <git@thomasba.de>
Date: Wed, 11 Jan 2012 12:34:17 +0100
Subject: [PATCH] =?UTF-8?q?=20Bilder=20hinzugef=C3=BCgt?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 .../bilder/vertex_cover.xml                   | 302 +++++++++++++
 .../bilder/vertex_cover_2.xml                 | 325 ++++++++++++++
 .../bilder/vertex_cover_3.xml                 | 397 ++++++++++++++++++
 3 files changed, 1024 insertions(+)
 create mode 100644 Berechenbarkeits-KomplexTh/bilder/vertex_cover.xml
 create mode 100644 Berechenbarkeits-KomplexTh/bilder/vertex_cover_2.xml
 create mode 100644 Berechenbarkeits-KomplexTh/bilder/vertex_cover_3.xml

diff --git a/Berechenbarkeits-KomplexTh/bilder/vertex_cover.xml b/Berechenbarkeits-KomplexTh/bilder/vertex_cover.xml
new file mode 100644
index 0000000..88252d4
--- /dev/null
+++ b/Berechenbarkeits-KomplexTh/bilder/vertex_cover.xml
@@ -0,0 +1,302 @@
+<?xml version="1.0"?>
+<!DOCTYPE ipe SYSTEM "ipe.dtd">
+<ipe version="70005" creator="Ipe 7.1.1">
+<info created="D:20120111115152" modified="D:20120111115505"/>
+<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"/>
+<use layer="alpha" name="mark/disk(sx)" pos="64 512" size="large" stroke="black"/>
+<use name="mark/disk(sx)" pos="64 480" size="large" stroke="red"/>
+<use name="mark/disk(sx)" pos="64 448" size="large" stroke="black"/>
+<use name="mark/disk(sx)" pos="64 416" size="large" stroke="red"/>
+<use name="mark/disk(sx)" pos="112 416" size="large" stroke="black"/>
+<use name="mark/disk(sx)" pos="112 448" size="large" stroke="red"/>
+<use name="mark/disk(sx)" pos="112 480" size="large" stroke="red"/>
+<use name="mark/disk(sx)" pos="112 512" size="large" stroke="black"/>
+<use name="mark/disk(sx)" pos="160 480" size="large" stroke="black"/>
+<path stroke="black">
+64 512 m
+64 416 l
+112 416 l
+112 512 l
+64 480 l
+160 480 l
+</path>
+<path stroke="black">
+64 448 m
+112 448 l
+</path>
+<path stroke="red">
+140 484 m
+136 476 l
+136 476 l
+</path>
+<path stroke="red">
+92 484 m
+88 476 l
+</path>
+<path stroke="red">
+92 452 m
+88 444 l
+</path>
+<path stroke="red">
+92 420 m
+88 412 l
+</path>
+<path stroke="red">
+68 436 m
+60 432 l
+</path>
+<path stroke="red">
+68 468 m
+60 464 l
+</path>
+<path stroke="red">
+68 500 m
+60 496 l
+</path>
+<path stroke="red">
+116 500 m
+108 496 l
+</path>
+<path stroke="red">
+116 468 m
+108 464 l
+</path>
+<path stroke="red">
+116 436 m
+108 432 l
+</path>
+<path stroke="red">
+84 500 m
+92 492 l
+</path>
+</page>
+</ipe>
diff --git a/Berechenbarkeits-KomplexTh/bilder/vertex_cover_2.xml b/Berechenbarkeits-KomplexTh/bilder/vertex_cover_2.xml
new file mode 100644
index 0000000..9a4dcd6
--- /dev/null
+++ b/Berechenbarkeits-KomplexTh/bilder/vertex_cover_2.xml
@@ -0,0 +1,325 @@
+<?xml version="1.0"?>
+<!DOCTYPE ipe SYSTEM "ipe.dtd">
+<ipe version="70005" creator="Ipe 7.1.1">
+<info created="D:20120111120013" modified="D:20120111120013"/>
+<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"/>
+<use layer="alpha" name="mark/disk(sx)" pos="128 768" size="large" stroke="black"/>
+<use name="mark/disk(sx)" pos="128 704" size="large" stroke="black"/>
+<use name="mark/disk(sx)" pos="192 768" size="large" stroke="black"/>
+<use name="mark/disk(sx)" pos="192 704" size="large" stroke="black"/>
+<use name="mark/disk(sx)" pos="256 768" size="large" stroke="black"/>
+<use name="mark/disk(sx)" pos="256 704" size="large" stroke="black"/>
+<use name="mark/disk(sx)" pos="384 768" size="large" stroke="black"/>
+<use name="mark/disk(sx)" pos="384 704" size="large" stroke="black"/>
+<use name="mark/disk(sx)" pos="160 640" size="large" stroke="black"/>
+<use name="mark/disk(sx)" pos="224 640" size="large" stroke="black"/>
+<use name="mark/disk(sx)" pos="352 640" size="large" stroke="black"/>
+<path stroke="black">
+128 768 m
+128 704 l
+</path>
+<path stroke="black">
+192 768 m
+192 704 l
+</path>
+<path stroke="black">
+256 768 m
+256 704 l
+</path>
+<path stroke="black">
+384 768 m
+384 704 l
+</path>
+<path stroke="blue">
+128 704 m
+160 640 l
+</path>
+<path stroke="blue">
+160 640 m
+192 704 l
+</path>
+<path stroke="blue">
+160 640 m
+256 704 l
+256 704 l
+</path>
+<path stroke="blue">
+160 640 m
+384 704 l
+</path>
+<path stroke="orange">
+224 640 m
+128 704 l
+</path>
+<path stroke="orange">
+224 640 m
+192 704 l
+</path>
+<path stroke="orange">
+224 640 m
+256 704 l
+</path>
+<path stroke="orange">
+224 640 m
+384 704 l
+</path>
+<path stroke="green">
+128 704 m
+352 640 l
+352 640 l
+</path>
+<path stroke="green">
+352 640 m
+192 704 l
+</path>
+<path stroke="green">
+256 704 m
+352 640 l
+</path>
+<path stroke="green">
+352 640 m
+384 704 l
+</path>
+<text transformations="translations" pos="320 736" stroke="black" type="label" width="8.302" height="1.052" depth="0" halign="center" valign="center">...</text>
+<text transformations="translations" pos="136 776" stroke="black" type="label" width="9.736" height="4.294" depth="1.49" halign="center" valign="center">$a_1$</text>
+<text transformations="translations" pos="200 776" stroke="black" type="label" width="9.736" height="4.294" depth="1.49" halign="center" valign="center">$a_2$</text>
+<text transformations="translations" pos="264 776" stroke="black" type="label" width="9.736" height="4.294" depth="1.49" halign="center" valign="center">$a_3$</text>
+<text transformations="translations" pos="392 776" stroke="black" type="label" width="10.689" height="4.294" depth="1.49" halign="center" valign="center">$a_n$</text>
+<text transformations="translations" pos="136 712" stroke="black" type="label" width="8.745" height="6.923" depth="1.49" halign="center" valign="center">$b_1$</text>
+<text transformations="translations" pos="200 712" stroke="black" type="label" width="8.745" height="6.923" depth="1.49" halign="center" valign="center">$b_2$</text>
+<text transformations="translations" pos="264 712" stroke="black" type="label" width="8.745" height="6.923" depth="1.49" halign="center" valign="center">$b_3$</text>
+<text transformations="translations" pos="392 712" stroke="black" type="label" width="9.699" height="6.923" depth="1.49" halign="center" valign="center">$b_n$</text>
+<text transformations="translations" pos="168 632" stroke="black" type="label" width="8.781" height="4.294" depth="1.49" halign="center" valign="center">$c_1$</text>
+<text transformations="translations" pos="232 632" stroke="black" type="label" width="8.781" height="4.294" depth="1.49" halign="center" valign="center">$c_2$</text>
+<text transformations="translations" pos="360 632" stroke="black" type="label" width="19.932" height="4.294" depth="2.32" halign="center" valign="center">$c_{n-2}$</text>
+</page>
+</ipe>
diff --git a/Berechenbarkeits-KomplexTh/bilder/vertex_cover_3.xml b/Berechenbarkeits-KomplexTh/bilder/vertex_cover_3.xml
new file mode 100644
index 0000000..7f89303
--- /dev/null
+++ b/Berechenbarkeits-KomplexTh/bilder/vertex_cover_3.xml
@@ -0,0 +1,397 @@
+<?xml version="1.0"?>
+<!DOCTYPE ipe SYSTEM "ipe.dtd">
+<ipe version="70005" creator="Ipe 7.1.1">
+<info created="D:20120111121032" modified="D:20120111121032"/>
+<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"/>
+<use layer="alpha" name="mark/disk(sx)" pos="64 512" size="large" stroke="black"/>
+<use name="mark/disk(sx)" pos="64 448" size="large" stroke="black"/>
+<path stroke="black">
+64 512 m
+64 448 l
+</path>
+<use matrix="1 0 0 1 64 0" name="mark/disk(sx)" pos="64 512" size="large" stroke="black"/>
+<use matrix="1 0 0 1 64 0" name="mark/disk(sx)" pos="64 448" size="large" stroke="black"/>
+<path matrix="1 0 0 1 64 0" stroke="black">
+64 512 m
+64 448 l
+</path>
+<use matrix="1 0 0 1 128 0" name="mark/disk(sx)" pos="64 512" size="large" stroke="black"/>
+<use matrix="1 0 0 1 128 0" name="mark/disk(sx)" pos="64 448" size="large" stroke="black"/>
+<path matrix="1 0 0 1 128 0" stroke="black">
+64 512 m
+64 448 l
+</path>
+<use matrix="1 0 0 1 192 0" name="mark/disk(sx)" pos="64 512" size="large" stroke="black"/>
+<use matrix="1 0 0 1 192 0" name="mark/disk(sx)" pos="64 448" size="large" stroke="black"/>
+<path matrix="1 0 0 1 192 0" stroke="black">
+64 512 m
+64 448 l
+</path>
+<use matrix="1 0 0 1 320 0" name="mark/disk(sx)" pos="64 512" size="large" stroke="black"/>
+<use matrix="1 0 0 1 320 0" name="mark/disk(sx)" pos="64 448" size="large" stroke="black"/>
+<path matrix="1 0 0 1 320 0" stroke="black">
+64 512 m
+64 448 l
+</path>
+<use matrix="1 0 0 1 384 0" name="mark/disk(sx)" pos="64 512" size="large" stroke="black"/>
+<use matrix="1 0 0 1 384 0" name="mark/disk(sx)" pos="64 448" size="large" stroke="black"/>
+<path matrix="1 0 0 1 384 0" stroke="black">
+64 512 m
+64 448 l
+</path>
+<use name="mark/disk(sx)" pos="96 384" size="large" stroke="black"/>
+<use name="mark/disk(sx)" pos="224 384" size="large" stroke="black"/>
+<use name="mark/disk(sx)" pos="416 384" size="large" stroke="black"/>
+<path stroke="black">
+64 448 m
+96 384 l
+</path>
+<path stroke="black">
+96 384 m
+128 448 l
+</path>
+<path stroke="black">
+192 448 m
+224 384 l
+</path>
+<path stroke="black">
+256 448 m
+224 384 l
+</path>
+<path stroke="black">
+416 384 m
+384 448 l
+</path>
+<path stroke="black">
+416 384 m
+448 448 l
+</path>
+<use name="mark/disk(sx)" pos="160 320" size="large" stroke="black"/>
+<use name="mark/disk(sx)" pos="288 320" size="large" stroke="black"/>
+<use name="mark/disk(sx)" pos="416 320" size="large" stroke="black"/>
+<path stroke="blue">
+160 320 m
+64 448 l
+</path>
+<path stroke="blue">
+128 448 m
+160 320 l
+</path>
+<path stroke="blue">
+160 320 m
+192 448 l
+</path>
+<path stroke="blue">
+256 448 m
+288 320 l
+</path>
+<path stroke="blue">
+288 320 m
+288 448 l
+</path>
+<path stroke="blue">
+320 448 m
+288 320 l
+</path>
+<path stroke="blue">
+416 320 m
+448 448 l
+</path>
+<path stroke="blue">
+416 320 m
+384 448 l
+</path>
+<path stroke="blue">
+416 320 m
+352 448 l
+</path>
+<use matrix="1 0 0 1 32 0" name="mark/disk(sx)" pos="160 256" size="large" stroke="black"/>
+<path stroke="green">
+192 256 m
+64 448 l
+</path>
+<path stroke="green">
+192 256 m
+128 448 l
+</path>
+<path stroke="green">
+192 448 m
+192 256 l
+</path>
+<path stroke="green">
+192 256 m
+256 448 l
+</path>
+<use name="mark/disk(sx)" pos="256 192" size="large" stroke="black"/>
+<path stroke="red">
+256 192 m
+64 448 l
+</path>
+<path stroke="red">
+256 192 m
+128 448 l
+</path>
+<path stroke="red">
+192 448 m
+256 192 l
+</path>
+<path stroke="red">
+256 192 m
+256 448 l
+</path>
+<path stroke="red">
+256 192 m
+384 448 l
+</path>
+<path stroke="red">
+256 192 m
+448 448 l
+</path>
+<text transformations="translations" pos="320 480" stroke="black" type="label" width="8.302" height="1.052" depth="0" valign="baseline">...</text>
+<text transformations="translations" pos="72 520" stroke="black" type="label" width="9.736" height="4.294" depth="1.49" valign="baseline">$a_1$</text>
+<text transformations="translations" pos="136 520" stroke="black" type="label" width="9.736" height="4.294" depth="1.49" valign="baseline">$a_2$</text>
+<text transformations="translations" pos="200 520" stroke="black" type="label" width="9.736" height="4.294" depth="1.49" valign="baseline">$a_3$</text>
+<text transformations="translations" pos="264 520" stroke="black" type="label" width="9.736" height="4.294" depth="1.49" valign="baseline">$a_4$</text>
+<text transformations="translations" pos="392 520" stroke="black" type="label" width="20.887" height="4.294" depth="2.32" valign="baseline">$a_{n-1}$</text>
+<text transformations="translations" pos="456 520" stroke="black" type="label" width="10.689" height="4.294" depth="1.49" valign="baseline">$a_n$</text>
+<text transformations="translations" pos="72 456" stroke="black" type="label" width="8.745" height="6.923" depth="1.49" valign="baseline">$b_1$</text>
+<text transformations="translations" pos="136 456" stroke="black" type="label" width="8.745" height="6.923" depth="1.49" valign="baseline">$b_2$</text>
+<text transformations="translations" pos="200 456" stroke="black" type="label" width="8.745" height="6.923" depth="1.49" valign="baseline">$b_3$</text>
+<text transformations="translations" pos="264 456" stroke="black" type="label" width="8.745" height="6.923" depth="1.49" valign="baseline">$b_4$</text>
+<text transformations="translations" pos="392 456" stroke="black" type="label" width="19.897" height="6.923" depth="2.32" valign="baseline">$b_{n-1}$</text>
+<text transformations="translations" pos="456 456" stroke="black" type="label" width="9.699" height="6.923" depth="1.49" valign="baseline">$b_n$</text>
+<text transformations="translations" pos="88 376" stroke="black" type="label" width="8.781" height="4.294" depth="1.49" valign="baseline">$c_1$</text>
+<text transformations="translations" pos="216 376" stroke="black" type="label" width="8.781" height="4.294" depth="1.49" valign="baseline">$c_2$</text>
+<text transformations="translations" pos="408 376" stroke="black" type="label" width="11.588" height="4.294" depth="3.89" valign="baseline">$c_{\frac{n}{2}}$</text>
+<text transformations="translations" pos="264 184" stroke="black" type="label" width="11.868" height="4.294" depth="1.49" valign="baseline">$c_N$</text>
+</page>
+</ipe>