with our free apps for iPhone, iPad and Android

Get Started

Already have an account?

Log In

Project Report
by valentin mahrwald
# Project Report

## knot theory

### definitions

### knot representations

### history & application

### knot equivalence

## heuristic search

### introduction

### simulated annealing

### tabu search

### genetic algorithms

### applications to knot theory

## Plug & Play Tool

### requirements

### architecture

### design

### V & V

## Experimentation

### test cases

### preliminary experiments

### planar direct search

### planar statistical

### 3-D

## Evaluation

### planar direct search

### statistical

### software engineering

## Objectives

### insufficiencies

### knot equivalence

### tool

## Conclusion

0.0 stars - 0 reviews
range from 0 to 5

knot

knot projection

link

strands & under-/overcrossing

composite / prime

alternating

planar, planar diagrams, Dowker codes / Gauss codes, planar graphs

3-D, knot complement, polygonal

closed braids

Conway, def: tangle

Gauss: initial

Kelvin: knotted vortices

tabulation, Tait, Hoste, Rankin

applications, biology: knotted DNA, chemistry: knotted molecules, physics

diagrammatic moves, Reidemeister, Flype, Markov moves on braids

invariants, tricolourability, polynomials, others, vassiliev, (?) minimum braid

special case: unknotting, Haken, NP bound, (?) Birman, Test cases, Monster, Freedman, Ochiai

types of knots, torus, satellite, hyperbolic

origin

definitions, optimisation problem, neighbourhood, cost/fitness function

types, local search, idea, examples, simulated annealing, tabu search, genetic algorithms, idea

idea: metallurgy

pseudocode

parameters, cooling schedule, acceptance test

properties, theoretical convergence

idea

pseudocode

parameters, adaptive memory, aspiration criteria, replacement criteria

properties, customisability

pseudocode

parameters, fitness function, reproduction, cross-over, mutation, selection

properties, non-local, parallel

unknotting, 3-D, energy functions, Furihara, Buck & Simon, heuristic / gradient descent, planar, comparison to 3-D, examples, MING: Energy minimisation by gradient descent, Huang: Unknotting by annealing, Sharein: gradient descent, Ladd/Kavraki: Motion planning, Weaver: Planar annealing

other, Johnson: disproving conjectures

functional, flexible, extensible, efficient, manual / automated

process, timely / plannable, scalable, incremental

key functionalities, knot representation & manipulation, search, statistics & visualisation

process, comparison, waterfall, v-model, agile / xp, test-driven, incremental, (?) refactoring

technology, language, ruby + C, flexible, fast, shell interfacing + GUI, external tools, gnuplot

high-level structure, gui, experiment, load & save, heuristic search, problem, neighbourhood, cost, solution, knot manipulation

heuristic search, interface, criteria, simulated annealing, cooling schedule

knot manipulation, criteria, complete, unambiguous, manipulable, efficient, (?) scalable, (?) evaluable, availability of data, planar, data structures, interface, 3-D, data structures, interface

unit testing

integration testing

sanity checks

categories, torus/satellite/hyperbolic, prime / composite, reduced / non-reduced, mutant: KT, chiral, unknots: Monster, Freedman, Ochiai, knots: Perko

list of projections, caveats, generation, dowker codes, culling, pipeline, efficiency concerns

redo weaver

add ochiai

random perturbation very weak

different weights for Reid moves

testing for identical projections, graph isomorphism, cost functions, criteria, discrimination, guidance, degree of isomorphism, sum of characteristics, sum + grounding term, Weisfeiler Lehman cost

one sided / two sided

bounds, classifying projections, finding bounds, results, other moves: flypes, other identity test: only WL cost

initial: search results

search process statistics, sources, accept streak, cost function, problems, higher crossing numbers, -> use multiple sources, requires bounds, cannot manage chirality, -> use special cost function, other areas, word problem: braids, graph isomorphism

experimentation, same as for statistical

results, harder to find global optima, weird: deeper search -> worse results

proof of concept

bounds

automatic "invariants"

transferable

only unknotting, uniqueness below threshold, unique global minima

local minima (?)

negative results

bounds

statistical methods

efficient exploration, multiple knot representations, multiple heuristic searches, multiple cost functions