The mathematical discipline of topological combinatorics is the application of topological and algebraic topological methods to solving problems in combinatorics. The mathematical discipline of topological combinatorics is the application of topological and algebraic topological methods to solving problems in combinatorics. The discipline of combinatorial topology used combinatorial concepts in topology and in the early 20th century this turned into the field of algebraic topology. In 1978 the situation was reversed — methods from algebraic topology were used to solve a problem in combinatorics – when László Lovász proved the Kneser conjecture, thus beginning the new study of topological combinatorics. Lovász's proof used the Borsuk–Ulam theorem and this theorem retains a prominent role in this new field. This theorem has many equivalent versions and analogs and has been used in the study of fair division problems. In another application of homological methods to graph theory Lovász proved both the undirected and directed versions of a conjecture of András Frank: Given a k-connected graph G, k points v 1 , … , v k ∈ V ( G ) {displaystyle v_{1},ldots ,v_{k}in V(G)} , and k positive integers n 1 , n 2 , … , n k {displaystyle n_{1},n_{2},ldots ,n_{k}} that sum up to | V ( G ) | {displaystyle |V(G)|} , there exists a partition { V 1 , … , V k } {displaystyle {V_{1},ldots ,V_{k}}} of V ( G ) {displaystyle V(G)} such that v i ∈ V i {displaystyle v_{i}in V_{i}} , | V i | = n i {displaystyle |V_{i}|=n_{i}} , and V i {displaystyle V_{i}} spans a connected subgraph. In 1987 the necklace splitting problem was solved by Noga Alon using the Borsuk–Ulam theorem. It has also been used to study complexity problems in linear decision tree algorithms and the Aanderaa–Karp–Rosenberg conjecture. Other areas include topology of partially ordered sets and bruhat orders. Additionally, methods from differential topology now have a combinatorial analog in discrete Morse theory.