Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Jun 28, 2023

• Merge branch 'master' of github.com:kollerlukas/tsp

  kollerlukas

  committed
  d7c178f

  Copy full SHA for d7c178f

• removed slides build files

  kollerlukas

  committed
  07403f3

  Copy full SHA for 07403f3

• Delete graph.txt

  kollerlukas

  authored
  758be83

  Copy full SHA for 758be83

• added slides

  kollerlukas

  committed
  689d7bc

  Copy full SHA for 689d7bc

Commits on Jun 10, 2023

• integrated feedback in report

  kollerlukas

  committed
  81b4c81

  Copy full SHA for 81b4c81

Commits on Jun 8, 2023

• added equiv.-proof for min- & max-matching

  kollerlukas

  committed
  70d7175

  Copy full SHA for 70d7175

Commits on May 26, 2023

• finished report

  kollerlukas

  committed
  89475bd

  Copy full SHA for 89475bd

• Update README.md

  kollerlukas

  authored
  334b510

  Copy full SHA for 334b510

• Update README.md

  kollerlukas

  authored
  7c6393f

  Copy full SHA for 7c6393f

• finished report

  kollerlukas

  committed
  b0da966

  Copy full SHA for b0da966

Commits on May 24, 2023

• finished a first version of the report

  kollerlukas

  committed
  ba24a2d

  Copy full SHA for ba24a2d

Commits on May 20, 2023

• progress on the report

  kollerlukas

  committed
  919b688

  Copy full SHA for 919b688

Commits on May 13, 2023

• progress on the report

  kollerlukas

  committed
  4877996

  Copy full SHA for 4877996

Commits on May 8, 2023

• progress on the report

  kollerlukas

  committed
  8c8bda7

  Copy full SHA for 8c8bda7

Commits on Apr 28, 2023

• started writing the report + cleaned-up some proofs

  kollerlukas

  committed
  1a629c7

  Copy full SHA for 1a629c7

Commits on Apr 13, 2023

• removed unused code + clean up

  kollerlukas

  committed
  542b72f

  Copy full SHA for 542b72f

• finished L-reduction proof (omittedd proof for trinagle-inequality of graph weights)

  kollerlukas

  committed
  7e7b973

  Copy full SHA for 7e7b973

Commits on Apr 7, 2023

• proved smaller lemmas for L-reduction

  kollerlukas

  committed
  69ba13f

  Copy full SHA for 69ba13f

Commits on Apr 4, 2023

• finished L-reduction proof (except some minor lemmas)

  kollerlukas

  committed
  2091067

  Copy full SHA for 2091067

Commits on Apr 3, 2023

• progress on the L-reduction proof; only minor subgoal left

  kollerlukas

  committed
  4309d24

  Copy full SHA for 4309d24

Commits on Mar 30, 2023

• continued work on the L-reduction

  kollerlukas

  committed
  1da45a0

  Copy full SHA for 1da45a0

Commits on Mar 28, 2023

• continued to work on L-reduction

  kollerlukas

  committed
  23c593f

  Copy full SHA for 23c593f

Commits on Mar 7, 2023

• instantiated the L-reduction locale with list-implementations

  kollerlukas

  committed
  81273cc

  Copy full SHA for 81273cc

Commits on Feb 17, 2023

• discharging more subgoals ...

  kollerlukas

  committed
  cdbd838

  Copy full SHA for cdbd838

Commits on Jan 31, 2023

• good progress on the L-reduction (proving properties of the reduction functions and auxiliary constructions)

  kollerlukas

  committed
  b5febc5

  Copy full SHA for b5febc5

Commits on Jan 15, 2023

• continued work on the L-reduction

  kollerlukas

  committed
  daea920

  Copy full SHA for daea920

Commits on Jan 12, 2023

• finished proof for completness of the constructed graph in the L-reduction

  kollerlukas

  committed
  af8d572

  Copy full SHA for af8d572

Commits on Jan 10, 2023

• Delete ROOT~

  kollerlukas

  authored
  c875b14

  Copy full SHA for c875b14

• a lot of stuff ... (added thys for L-reduction)

  kollerlukas

  committed
  4e56202

  Copy full SHA for 4e56202

Commits on Nov 4, 2022

• commiting unsaved changes

  kollerlukas

  committed
  790acd3

  Copy full SHA for 790acd3

• organized thys + started on proof for maxSNP-hardness of mTSP + added refinements using Hoare-Logic for Double-Tree & Christofides-Serdyukov algorithms

  kollerlukas

  committed
  d9a0ab0

  Copy full SHA for d9a0ab0

Commits on Oct 21, 2022

• resolved some sorries

  kollerlukas

  committed
  f74c285

  Copy full SHA for f74c285

Commits on Oct 19, 2022

• cleaned up BergePrimAdaptor

  kollerlukas

  committed
  c85209e

  Copy full SHA for c85209e

Commits on Oct 13, 2022

• added todos to README.md

  kollerlukas

  authored
  5a5e67d

  Copy full SHA for 5a5e67d

• clean up

  kollerlukas

  committed
  44094a0

  Copy full SHA for 44094a0

Pagination

Previous

Next