SlideShare a Scribd company logo
1 of 85
Download to read offline
Paths & Polynomials
Hamiltonian Path has an algorithm that
spends O(2n) time and
consumes O(2n) space.
Walks to the rescue…
Walks to the rescue…
Walks to the rescue…
Adjacency Matrix
A[i,j] = 1 iff (i,j) is an edge in G.
Adjacency Matrix
A[i,j] = 1 iff (i,j) is an edge in G.
Adjacency Matrix
A[i,j] = 1 iff (i,j) is an edge in G.
Adjacency Matrix
A[i,j] = 1 iff (i,j) is an edge in G.
Adjacency Matrix
A[i,j] = 1 iff (i,j) is an edge in G.

What is A2[i,j]?
Adjacency Matrix
A[i,j] = 1 iff (i,j) is an edge in G.

What is A2[i,j]?
i

j

Adjacency Matrix
A[i,j] = 1 iff (i,j) is an edge in G.

What is A2[i,j]?
i

j

Adjacency Matrix
A[i,j] = 1 iff (i,j) is an edge in G.

What is A2[i,j]?
i

j

Adjacency Matrix
A[i,j] = 1 iff (i,j) is an edge in G.

What is A2[i,j]?
i

j

Adjacency Matrix
A[i,j] = 1 iff (i,j) is an edge in G.

What is A2[i,j]?
i

j

Adjacency Matrix
A[i,j] = 1 iff (i,j) is an edge in G.

What is A2[i,j]?
i

j

Adjacency Matrix
A[i,j] = 1 iff (i,j) is an edge in G.

What is A2[i,j]?
What is A2[i,j] counts the number of common neighbors
of i and j.
What is A2[i,j] counts the number of common neighbors
of i and j.

What is Ak[i,j]?
What is A2[i,j] counts the number of common neighbors
of i and j.

What is Ak[i,j]?
What is Ak[i,j] counts the number of walks of length k
between i and j.
We know how to count walks!
We know how to count walks!
Suppose we now want to count paths.
We know how to count walks!
Suppose we now want to count paths.
Let U be the collection of all Hamiltonian Walks.
We know how to count walks!
Suppose we now want to count paths.
Let U be the collection of all Hamiltonian Walks.
Let Ai be the set of walks of length n passing through i.
Consider…
n

X=

Ai
i=1

Let U be the collection of all Hamiltonian Walks.
Let Ai be the set of walks of length n passing through i.
Consider…
n

X=U

Ai
i=1

Let U be the collection of all Hamiltonian Walks.
Let Ai be the set of walks of length n passing through i.
Consider…
n

X=U

Ai
i=1

Let U be the collection of all Hamiltonian Walks.
Let Ai be the set of walks of length n passing through i.
Consider…
n

X=U

Ai
i=1

Let U be the collection of all Hamiltonian Walks.
Let Ai be the set of walks of length n passing through i.
The set of walks that avoid i.
Consider…
n

X=U

Ai
i=1

|Z|

|X| = |U|

( 1)
Z [n]

Ai
i Z

Let U be the collection of all Hamiltonian Walks.
Let Ai be the set of walks of length n passing through i.
The set of walks that avoid i.
Consider…
n

X=U

Ai
i=1

|Z|

|X| = |U|

( 1)
Z [n]

Ai
i Z

Let U be the collection of all Hamiltonian Walks.
Let Ai be the set of walks of length n passing through i.
The set of walks that avoid i.
Consider…
n

X=U

Ai
i=1

|Z|

|X| = |U|

( 1)
Z [n]

Ai
i Z

Let U be the collection of all Hamiltonian Walks.
Let Ai be the set of walks of length n passing through i.
The set of walks that avoid i.
The set of walks that avoid X.
Consider…
n

X=U

Ai
i=1

|Z|

|X| = |U|

( 1)
Z [n]

Ai
i Z

Let U be the collection of all Hamiltonian Walks.
Let Ai be the set of walks of length n passing through i.
The set of walks that avoid i.
The set of walks that avoid X.
Polynomial Identity Testing

Input: A polynomial p(x).
Question: Is p(x) identically zero?

(x1 + 3x2

x3 )(3x1 + x4

1) · · · (x7

x2 )

0?
Polynomial Identity Testing

Input: A polynomial p(x).
Question: Is p(x) identically zero?

(x1 + 3x2

x3 )(3x1 + x4

1) · · · (x7

x2 )

0?

Captures several problems, like checking if two polynomials
are equal, finding a perfect matching, primality testing,
and so on.
Basic Idea

(x1 + 3x2

x3 )(3x1 + x4

1) · · · (x7

x2 )

Simplifying is expensive, but evaluating is cheap.

0?
Basic Idea

(x1 + 3x2

x3 )(3x1 + x4

1) · · · (x7

x2 )

Simplifying is expensive, but evaluating is cheap.
The probability that a random assignment
corresponds to a root is low.

0?
Given a (directed) graph G and a number k…
!
!
!

Let’s try to construct a polynomial that is zero
!

if and only if
!

G has a path of length k.
x[v1,2 ]x[v2,3 ] · ·2,3 ] · k· x[vk 1,k]y[v2 ] · · · 2 ] · · ·]y[vk ]
x[v1,2 ]x[v · x[v· 1,k ]y[v1
1 ]y[v y[vk
Edges

Vertices
x[v1,2 ]x[v2,3 ] · ·2,3 ] · k· x[vk 1,k]y[v2 ] · · · 2 ] · · ·]y[vk ]
x[v1,2 ]x[v · x[v· 1,k ]y[v1
1 ]y[v y[vk
Edges

Vertices

We want terms corresponding to walks to cancel out,
x[v1,2 ]x[v2,3 ] · ·2,3 ] · k· x[vk 1,k]y[v2 ] · · · 2 ] · · ·]y[vk ]
x[v1,2 ]x[v · x[v· 1,k ]y[v1
1 ]y[v y[vk
Edges

Vertices

We want terms corresponding to walks to cancel out,
somehow.
The Trick
Evaluate these polynomials over finite fields
of characteristic two.
Evaluate these polynomials over finite fields
of characteristic two.
a+a=0
x[v1,2 ]x[v2,3 ] · ·2,3 ] · k· x[vk 1,k]y[v2 ] · · · 2 ] · · ·]y[vk ]
x[v1,2 ]x[v · x[v· 1,k ]y[v1
1 ]y[v y[vk
Edges

Vertices
x[v1,2 ]x[v2,3 ] · ·2,3 ] · k· x[vk 1,k]y[v2 ] · · · 2 ] · · ·]y[vk ]
x[v1,2 ]x[v · x[v· 1,k ]y[v1
1 ]y[v y[vk
Edges

1,2 ]x[v2,3 ] · · · x[vk 1,k ]y[v1 ]y[v2 ] · · · y[vk ]

Vertices
x[v1,2 ]x[v2,3 ] · ·2,3 ] · k· x[vk 1,k]y[v2 ] · · · 2 ] · · ·]y[vk ]
x[v1,2 ]x[v · x[v· 1,k ]y[v1
1 ]y[v y[vk
Edges

1,2 ]x[v2,3 ] · · · x[vk 1,k ]y[v1 ]y[v2 ] · · · y[vk ]

Vertices
x[v1,2 ]x[v2,3 ] · ·2,3 ] · k· x[vk 1,k]y[v2 ] · · · 2 ] · · ·]y[vk ]
x[v1,2 ]x[v · x[v· 1,k ]y[v1
1 ]y[v y[vk
Edges

1,2 ]x[v2,3 ] · · · x[vk 1,k ]y[v1 ]y[v2 ] · · · y[vk ]

Vertices
x[v1,2 ]x[v2,3 ] · ·2,3 ] · k· x[vk 1,k]y[v2 ] · · · 2 ] · · ·]y[vk ]
x[v1,2 ]x[v · x[v· 1,k ]y[v1
1 ]y[v y[vk
Edges

1,2 ]x[v2,3 ] · · · x[vk 1,k ]y[v1 ]y[v2 ] · · · y[vk ]

1,2 ]x[v2,3 ] · · · x[vk 1,k ]y[v1 ]y[v2 ] · · · y[vk ]

1,2 ]x[v2,3 ] · · · x[vk 1,k ]y[v1 ]y[v2 ] · · · y[vk ]

1,2 ]x[v2,3 ] · · · x[vk 1,k ]y[v1 ]y[v2 ] · · · y[vk ]

1,2 ]x[v2,3 ] · · · x[vk 1,k ]y[v1 ]y[v2 ] · · · y[vk ]

Vertices
x[v1,2 ]x[v2,3 ] · ·2,3 ] · k· x[vk 1,k]y[v2 ] · · · 2 ] · · ·]y[vk ]
x[v1,2 ]x[v · x[v· 1,k ]y[v1
1 ]y[v y[vk
Edges

1,2 ]x[v2,3 ] · · · x[vk 1,k ]y[v1 ]y[v2 ] · · · y[vk ]

1,2 ]x[v2,3 ] · · · x[vk 1,k ]y[v1 ]y[v2 ] · · · y[vk ]

1,2 ]x[v2,3 ] · · · x[vk 1,k ]y[v1 ]y[v2 ] · · · y[vk ]

1,2 ]x[v2,3 ] · · · x[vk 1,k ]y[v1 ]y[v2 ] · · · y[vk ]

1,2 ]x[v2,3 ] · · · x[vk 1,k ]y[v1 ]y[v2 ] · · · y[vk ]

Vertices
For a walk W, we will dump all these terms into the formula:
For a walk W, we will dump all these terms into the formula:

:[k]

[k]

x[v1,2 ]x[v2,3 ] · · · x[vk

1,k ]y[v1 ,

(1)]y[v2 , (2)] · · · y[vk , (k)]
For a walk W, we will dump all these terms into the formula:

:[k]

[k]

x[v1,2 ]x[v2,3 ] · · · x[vk

1,k ]y[v1 ,

(1)]y[v2 , (2)] · · · y[vk , (k)]

Sum this over all walks W:
For a walk W, we will dump all these terms into the formula:

:[k]

[k]

x[v1,2 ]x[v2,3 ] · · · x[vk

1,k ]y[v1 ,

(1)]y[v2 , (2)] · · · y[vk , (k)]

Sum this over all walks W:

(W, )
W:=v1 ,...,vk
This polynomial captures exactly the paths in G,
i.e, it is identically zero precisely when G has no paths of length k.
(W, )
W:=v1 ,...,vk
(W, )
W:=v1 ,...,vk

How do we evaluate this polynomial now?
(W, )
W:=v1 ,...,vk

How do we evaluate this polynomial now?
Inclusion Exclusion
RELOADED

More Related Content

What's hot

Kernel Lower Bounds
Kernel Lower BoundsKernel Lower Bounds
Kernel Lower BoundsASPAK2014
 
Fixed-Parameter Intractability
Fixed-Parameter IntractabilityFixed-Parameter Intractability
Fixed-Parameter IntractabilityASPAK2014
 
The Total Strong Split Domination Number of Graphs
The Total Strong Split Domination Number of GraphsThe Total Strong Split Domination Number of Graphs
The Total Strong Split Domination Number of Graphsinventionjournals
 
Estimates for a class of non-standard bilinear multipliers
Estimates for a class of non-standard bilinear multipliersEstimates for a class of non-standard bilinear multipliers
Estimates for a class of non-standard bilinear multipliersVjekoslavKovac1
 
A T(1)-type theorem for entangled multilinear Calderon-Zygmund operators
A T(1)-type theorem for entangled multilinear Calderon-Zygmund operatorsA T(1)-type theorem for entangled multilinear Calderon-Zygmund operators
A T(1)-type theorem for entangled multilinear Calderon-Zygmund operatorsVjekoslavKovac1
 
Strong (Weak) Triple Connected Domination Number of a Fuzzy Graph
Strong (Weak) Triple Connected Domination Number of a Fuzzy GraphStrong (Weak) Triple Connected Domination Number of a Fuzzy Graph
Strong (Weak) Triple Connected Domination Number of a Fuzzy Graphijceronline
 
Density theorems for Euclidean point configurations
Density theorems for Euclidean point configurationsDensity theorems for Euclidean point configurations
Density theorems for Euclidean point configurationsVjekoslavKovac1
 
A common fixed point of integral type contraction in generalized metric spacess
A  common fixed point of integral type contraction in generalized metric spacessA  common fixed point of integral type contraction in generalized metric spacess
A common fixed point of integral type contraction in generalized metric spacessAlexander Decker
 
On Twisted Paraproducts and some other Multilinear Singular Integrals
On Twisted Paraproducts and some other Multilinear Singular IntegralsOn Twisted Paraproducts and some other Multilinear Singular Integrals
On Twisted Paraproducts and some other Multilinear Singular IntegralsVjekoslavKovac1
 
Bellman functions and Lp estimates for paraproducts
Bellman functions and Lp estimates for paraproductsBellman functions and Lp estimates for paraproducts
Bellman functions and Lp estimates for paraproductsVjekoslavKovac1
 
Boundedness of the Twisted Paraproduct
Boundedness of the Twisted ParaproductBoundedness of the Twisted Paraproduct
Boundedness of the Twisted ParaproductVjekoslavKovac1
 
Some Examples of Scaling Sets
Some Examples of Scaling SetsSome Examples of Scaling Sets
Some Examples of Scaling SetsVjekoslavKovac1
 
Quantum Machine Learning and QEM for Gaussian mixture models (Alessandro Luongo)
Quantum Machine Learning and QEM for Gaussian mixture models (Alessandro Luongo)Quantum Machine Learning and QEM for Gaussian mixture models (Alessandro Luongo)
Quantum Machine Learning and QEM for Gaussian mixture models (Alessandro Luongo)MeetupDataScienceRoma
 
Trilinear embedding for divergence-form operators
Trilinear embedding for divergence-form operatorsTrilinear embedding for divergence-form operators
Trilinear embedding for divergence-form operatorsVjekoslavKovac1
 
Norm-variation of bilinear averages
Norm-variation of bilinear averagesNorm-variation of bilinear averages
Norm-variation of bilinear averagesVjekoslavKovac1
 
A sharp nonlinear Hausdorff-Young inequality for small potentials
A sharp nonlinear Hausdorff-Young inequality for small potentialsA sharp nonlinear Hausdorff-Young inequality for small potentials
A sharp nonlinear Hausdorff-Young inequality for small potentialsVjekoslavKovac1
 
On maximal and variational Fourier restriction
On maximal and variational Fourier restrictionOn maximal and variational Fourier restriction
On maximal and variational Fourier restrictionVjekoslavKovac1
 
SUPER MAGIC CORONATIONS OF GRAPHS
SUPER MAGIC CORONATIONS OF GRAPHS SUPER MAGIC CORONATIONS OF GRAPHS
SUPER MAGIC CORONATIONS OF GRAPHS IAEME Publication
 

What's hot (20)

Kernel Lower Bounds
Kernel Lower BoundsKernel Lower Bounds
Kernel Lower Bounds
 
Fixed-Parameter Intractability
Fixed-Parameter IntractabilityFixed-Parameter Intractability
Fixed-Parameter Intractability
 
The Total Strong Split Domination Number of Graphs
The Total Strong Split Domination Number of GraphsThe Total Strong Split Domination Number of Graphs
The Total Strong Split Domination Number of Graphs
 
Estimates for a class of non-standard bilinear multipliers
Estimates for a class of non-standard bilinear multipliersEstimates for a class of non-standard bilinear multipliers
Estimates for a class of non-standard bilinear multipliers
 
A T(1)-type theorem for entangled multilinear Calderon-Zygmund operators
A T(1)-type theorem for entangled multilinear Calderon-Zygmund operatorsA T(1)-type theorem for entangled multilinear Calderon-Zygmund operators
A T(1)-type theorem for entangled multilinear Calderon-Zygmund operators
 
Strong (Weak) Triple Connected Domination Number of a Fuzzy Graph
Strong (Weak) Triple Connected Domination Number of a Fuzzy GraphStrong (Weak) Triple Connected Domination Number of a Fuzzy Graph
Strong (Weak) Triple Connected Domination Number of a Fuzzy Graph
 
Density theorems for Euclidean point configurations
Density theorems for Euclidean point configurationsDensity theorems for Euclidean point configurations
Density theorems for Euclidean point configurations
 
445 colouring0
445 colouring0445 colouring0
445 colouring0
 
A common fixed point of integral type contraction in generalized metric spacess
A  common fixed point of integral type contraction in generalized metric spacessA  common fixed point of integral type contraction in generalized metric spacess
A common fixed point of integral type contraction in generalized metric spacess
 
On Twisted Paraproducts and some other Multilinear Singular Integrals
On Twisted Paraproducts and some other Multilinear Singular IntegralsOn Twisted Paraproducts and some other Multilinear Singular Integrals
On Twisted Paraproducts and some other Multilinear Singular Integrals
 
Minimum spanning Tree
Minimum spanning TreeMinimum spanning Tree
Minimum spanning Tree
 
Bellman functions and Lp estimates for paraproducts
Bellman functions and Lp estimates for paraproductsBellman functions and Lp estimates for paraproducts
Bellman functions and Lp estimates for paraproducts
 
Boundedness of the Twisted Paraproduct
Boundedness of the Twisted ParaproductBoundedness of the Twisted Paraproduct
Boundedness of the Twisted Paraproduct
 
Some Examples of Scaling Sets
Some Examples of Scaling SetsSome Examples of Scaling Sets
Some Examples of Scaling Sets
 
Quantum Machine Learning and QEM for Gaussian mixture models (Alessandro Luongo)
Quantum Machine Learning and QEM for Gaussian mixture models (Alessandro Luongo)Quantum Machine Learning and QEM for Gaussian mixture models (Alessandro Luongo)
Quantum Machine Learning and QEM for Gaussian mixture models (Alessandro Luongo)
 
Trilinear embedding for divergence-form operators
Trilinear embedding for divergence-form operatorsTrilinear embedding for divergence-form operators
Trilinear embedding for divergence-form operators
 
Norm-variation of bilinear averages
Norm-variation of bilinear averagesNorm-variation of bilinear averages
Norm-variation of bilinear averages
 
A sharp nonlinear Hausdorff-Young inequality for small potentials
A sharp nonlinear Hausdorff-Young inequality for small potentialsA sharp nonlinear Hausdorff-Young inequality for small potentials
A sharp nonlinear Hausdorff-Young inequality for small potentials
 
On maximal and variational Fourier restriction
On maximal and variational Fourier restrictionOn maximal and variational Fourier restriction
On maximal and variational Fourier restriction
 
SUPER MAGIC CORONATIONS OF GRAPHS
SUPER MAGIC CORONATIONS OF GRAPHS SUPER MAGIC CORONATIONS OF GRAPHS
SUPER MAGIC CORONATIONS OF GRAPHS
 

Viewers also liked

Residential & Commercial Space Planning – summary of work
Residential & Commercial Space Planning – summary of workResidential & Commercial Space Planning – summary of work
Residential & Commercial Space Planning – summary of workLeAnn Kiper
 
Interior Programming and Space Planning
Interior Programming and Space PlanningInterior Programming and Space Planning
Interior Programming and Space PlanningMatthew Bawagan
 
Architectural Drawing
Architectural DrawingArchitectural Drawing
Architectural DrawingLea Alberto
 
Space planing
Space planing Space planing
Space planing Pei Jin
 
Architectural Design Concepts Approaches - كونسيبت التصميم المعمارى و الفكرة ...
Architectural Design Concepts Approaches - كونسيبت التصميم المعمارى و الفكرة ...Architectural Design Concepts Approaches - كونسيبت التصميم المعمارى و الفكرة ...
Architectural Design Concepts Approaches - كونسيبت التصميم المعمارى و الفكرة ...Galala University
 
Architectural Design 1 Lectures by Dr. Yasser Mahgoub - Lecture 5 Concept
Architectural Design 1 Lectures by Dr. Yasser Mahgoub - Lecture 5 ConceptArchitectural Design 1 Lectures by Dr. Yasser Mahgoub - Lecture 5 Concept
Architectural Design 1 Lectures by Dr. Yasser Mahgoub - Lecture 5 ConceptGalala University
 
Architectural Design 1 Lectures by Dr. Yasser Mahgoub - Process
Architectural Design 1 Lectures by Dr. Yasser Mahgoub - ProcessArchitectural Design 1 Lectures by Dr. Yasser Mahgoub - Process
Architectural Design 1 Lectures by Dr. Yasser Mahgoub - ProcessGalala University
 
An introduction to fundamental architecture concepts
An introduction to fundamental architecture conceptsAn introduction to fundamental architecture concepts
An introduction to fundamental architecture conceptswweinmeyer79
 
History of islamic architecture
History of islamic architectureHistory of islamic architecture
History of islamic architectureShahril Khairi
 

Viewers also liked (12)

Oh depensa
Oh depensaOh depensa
Oh depensa
 
Sketching
SketchingSketching
Sketching
 
Residential & Commercial Space Planning – summary of work
Residential & Commercial Space Planning – summary of workResidential & Commercial Space Planning – summary of work
Residential & Commercial Space Planning – summary of work
 
Interior Programming and Space Planning
Interior Programming and Space PlanningInterior Programming and Space Planning
Interior Programming and Space Planning
 
Architectural Drawing
Architectural DrawingArchitectural Drawing
Architectural Drawing
 
Spatial
SpatialSpatial
Spatial
 
Space planing
Space planing Space planing
Space planing
 
Architectural Design Concepts Approaches - كونسيبت التصميم المعمارى و الفكرة ...
Architectural Design Concepts Approaches - كونسيبت التصميم المعمارى و الفكرة ...Architectural Design Concepts Approaches - كونسيبت التصميم المعمارى و الفكرة ...
Architectural Design Concepts Approaches - كونسيبت التصميم المعمارى و الفكرة ...
 
Architectural Design 1 Lectures by Dr. Yasser Mahgoub - Lecture 5 Concept
Architectural Design 1 Lectures by Dr. Yasser Mahgoub - Lecture 5 ConceptArchitectural Design 1 Lectures by Dr. Yasser Mahgoub - Lecture 5 Concept
Architectural Design 1 Lectures by Dr. Yasser Mahgoub - Lecture 5 Concept
 
Architectural Design 1 Lectures by Dr. Yasser Mahgoub - Process
Architectural Design 1 Lectures by Dr. Yasser Mahgoub - ProcessArchitectural Design 1 Lectures by Dr. Yasser Mahgoub - Process
Architectural Design 1 Lectures by Dr. Yasser Mahgoub - Process
 
An introduction to fundamental architecture concepts
An introduction to fundamental architecture conceptsAn introduction to fundamental architecture concepts
An introduction to fundamental architecture concepts
 
History of islamic architecture
History of islamic architectureHistory of islamic architecture
History of islamic architecture
 

Similar to Paths and Polynomials

MinFill_Presentation
MinFill_PresentationMinFill_Presentation
MinFill_PresentationAnna Lasota
 
Fast and efficient exact synthesis of single qubit unitaries generated by cli...
Fast and efficient exact synthesis of single qubit unitaries generated by cli...Fast and efficient exact synthesis of single qubit unitaries generated by cli...
Fast and efficient exact synthesis of single qubit unitaries generated by cli...JamesMa54
 
Elementary Linear Algebra 5th Edition Larson Solutions Manual
Elementary Linear Algebra 5th Edition Larson Solutions ManualElementary Linear Algebra 5th Edition Larson Solutions Manual
Elementary Linear Algebra 5th Edition Larson Solutions Manualzuxigytix
 
Introduction to Treewidth
Introduction to TreewidthIntroduction to Treewidth
Introduction to TreewidthASPAK2014
 
On uniformly continuous uniform space
On uniformly continuous uniform spaceOn uniformly continuous uniform space
On uniformly continuous uniform spacetheijes
 
Ejercicios de algebra lineal
Ejercicios de algebra linealEjercicios de algebra lineal
Ejercicios de algebra linealJenny D.
 
Quarter 1 - Illustrating and solving quadratic equations
Quarter 1 - Illustrating and solving quadratic equationsQuarter 1 - Illustrating and solving quadratic equations
Quarter 1 - Illustrating and solving quadratic equationsReynz Anario
 
Some_Properties_for_the_Commutators_of_Special_Linear_Quantum_Groups (12).pdf
Some_Properties_for_the_Commutators_of_Special_Linear_Quantum_Groups (12).pdfSome_Properties_for_the_Commutators_of_Special_Linear_Quantum_Groups (12).pdf
Some_Properties_for_the_Commutators_of_Special_Linear_Quantum_Groups (12).pdfmehsinatteya88
 
【DL輪読会】Unbiased Gradient Estimation for Marginal Log-likelihood
【DL輪読会】Unbiased Gradient Estimation for Marginal Log-likelihood【DL輪読会】Unbiased Gradient Estimation for Marginal Log-likelihood
【DL輪読会】Unbiased Gradient Estimation for Marginal Log-likelihoodDeep Learning JP
 
Higher order derivatives for N -body simulations
Higher order derivatives for N -body simulationsHigher order derivatives for N -body simulations
Higher order derivatives for N -body simulationsKeigo Nitadori
 
Admissions in india 2015
Admissions in india 2015Admissions in india 2015
Admissions in india 2015Edhole.com
 
Complex differentiation contains analytic function.pptx
Complex differentiation contains analytic function.pptxComplex differentiation contains analytic function.pptx
Complex differentiation contains analytic function.pptxjyotidighole2
 
14 Bivariate Transformations
14 Bivariate Transformations14 Bivariate Transformations
14 Bivariate TransformationsHadley Wickham
 
Some Other Properties of Fuzzy Filters on Lattice Implication Algebras
Some Other Properties of Fuzzy Filters on Lattice Implication AlgebrasSome Other Properties of Fuzzy Filters on Lattice Implication Algebras
Some Other Properties of Fuzzy Filters on Lattice Implication Algebrasijceronline
 
ゲーム理論BASIC 演習6 -仁を求める-
ゲーム理論BASIC 演習6 -仁を求める-ゲーム理論BASIC 演習6 -仁を求める-
ゲーム理論BASIC 演習6 -仁を求める-ssusere0a682
 
Algebra digital textbook gopika
Algebra digital textbook gopikaAlgebra digital textbook gopika
Algebra digital textbook gopikagopikarchandran
 
ゲーム理論BASIC 演習3 -安定集合を求める-
ゲーム理論BASIC 演習3 -安定集合を求める-ゲーム理論BASIC 演習3 -安定集合を求める-
ゲーム理論BASIC 演習3 -安定集合を求める-ssusere0a682
 

Similar to Paths and Polynomials (20)

MinFill_Presentation
MinFill_PresentationMinFill_Presentation
MinFill_Presentation
 
Fast and efficient exact synthesis of single qubit unitaries generated by cli...
Fast and efficient exact synthesis of single qubit unitaries generated by cli...Fast and efficient exact synthesis of single qubit unitaries generated by cli...
Fast and efficient exact synthesis of single qubit unitaries generated by cli...
 
Elementary Linear Algebra 5th Edition Larson Solutions Manual
Elementary Linear Algebra 5th Edition Larson Solutions ManualElementary Linear Algebra 5th Edition Larson Solutions Manual
Elementary Linear Algebra 5th Edition Larson Solutions Manual
 
Introduction to Treewidth
Introduction to TreewidthIntroduction to Treewidth
Introduction to Treewidth
 
On uniformly continuous uniform space
On uniformly continuous uniform spaceOn uniformly continuous uniform space
On uniformly continuous uniform space
 
Ejercicios de algebra lineal
Ejercicios de algebra linealEjercicios de algebra lineal
Ejercicios de algebra lineal
 
Linear equation 2 2
Linear equation 2 2Linear equation 2 2
Linear equation 2 2
 
Quarter 1 - Illustrating and solving quadratic equations
Quarter 1 - Illustrating and solving quadratic equationsQuarter 1 - Illustrating and solving quadratic equations
Quarter 1 - Illustrating and solving quadratic equations
 
Some_Properties_for_the_Commutators_of_Special_Linear_Quantum_Groups (12).pdf
Some_Properties_for_the_Commutators_of_Special_Linear_Quantum_Groups (12).pdfSome_Properties_for_the_Commutators_of_Special_Linear_Quantum_Groups (12).pdf
Some_Properties_for_the_Commutators_of_Special_Linear_Quantum_Groups (12).pdf
 
【DL輪読会】Unbiased Gradient Estimation for Marginal Log-likelihood
【DL輪読会】Unbiased Gradient Estimation for Marginal Log-likelihood【DL輪読会】Unbiased Gradient Estimation for Marginal Log-likelihood
【DL輪読会】Unbiased Gradient Estimation for Marginal Log-likelihood
 
Higher order derivatives for N -body simulations
Higher order derivatives for N -body simulationsHigher order derivatives for N -body simulations
Higher order derivatives for N -body simulations
 
PRODUCT RULES
PRODUCT RULESPRODUCT RULES
PRODUCT RULES
 
Admissions in india 2015
Admissions in india 2015Admissions in india 2015
Admissions in india 2015
 
Complex differentiation contains analytic function.pptx
Complex differentiation contains analytic function.pptxComplex differentiation contains analytic function.pptx
Complex differentiation contains analytic function.pptx
 
14 Bivariate Transformations
14 Bivariate Transformations14 Bivariate Transformations
14 Bivariate Transformations
 
Some Other Properties of Fuzzy Filters on Lattice Implication Algebras
Some Other Properties of Fuzzy Filters on Lattice Implication AlgebrasSome Other Properties of Fuzzy Filters on Lattice Implication Algebras
Some Other Properties of Fuzzy Filters on Lattice Implication Algebras
 
Program on Quasi-Monte Carlo and High-Dimensional Sampling Methods for Applie...
Program on Quasi-Monte Carlo and High-Dimensional Sampling Methods for Applie...Program on Quasi-Monte Carlo and High-Dimensional Sampling Methods for Applie...
Program on Quasi-Monte Carlo and High-Dimensional Sampling Methods for Applie...
 
ゲーム理論BASIC 演習6 -仁を求める-
ゲーム理論BASIC 演習6 -仁を求める-ゲーム理論BASIC 演習6 -仁を求める-
ゲーム理論BASIC 演習6 -仁を求める-
 
Algebra digital textbook gopika
Algebra digital textbook gopikaAlgebra digital textbook gopika
Algebra digital textbook gopika
 
ゲーム理論BASIC 演習3 -安定集合を求める-
ゲーム理論BASIC 演習3 -安定集合を求める-ゲーム理論BASIC 演習3 -安定集合を求める-
ゲーム理論BASIC 演習3 -安定集合を求める-
 

More from ASPAK2014

Color Coding
Color CodingColor Coding
Color CodingASPAK2014
 
Steiner Tree Parameterized by Treewidth
Steiner Tree Parameterized by TreewidthSteiner Tree Parameterized by Treewidth
Steiner Tree Parameterized by TreewidthASPAK2014
 
Cut and Count
Cut and CountCut and Count
Cut and CountASPAK2014
 
Representative Sets
Representative SetsRepresentative Sets
Representative SetsASPAK2014
 
The W Hierarchy
The W HierarchyThe W Hierarchy
The W HierarchyASPAK2014
 
Matroid Basics
Matroid BasicsMatroid Basics
Matroid BasicsASPAK2014
 

More from ASPAK2014 (6)

Color Coding
Color CodingColor Coding
Color Coding
 
Steiner Tree Parameterized by Treewidth
Steiner Tree Parameterized by TreewidthSteiner Tree Parameterized by Treewidth
Steiner Tree Parameterized by Treewidth
 
Cut and Count
Cut and CountCut and Count
Cut and Count
 
Representative Sets
Representative SetsRepresentative Sets
Representative Sets
 
The W Hierarchy
The W HierarchyThe W Hierarchy
The W Hierarchy
 
Matroid Basics
Matroid BasicsMatroid Basics
Matroid Basics
 

Recently uploaded

Transforming Data Streams with Kafka Connect: An Introduction to Single Messa...
Transforming Data Streams with Kafka Connect: An Introduction to Single Messa...Transforming Data Streams with Kafka Connect: An Introduction to Single Messa...
Transforming Data Streams with Kafka Connect: An Introduction to Single Messa...HostedbyConfluent
 
Azure Monitor & Application Insight to monitor Infrastructure & Application
Azure Monitor & Application Insight to monitor Infrastructure & ApplicationAzure Monitor & Application Insight to monitor Infrastructure & Application
Azure Monitor & Application Insight to monitor Infrastructure & ApplicationAndikSusilo4
 
AI as an Interface for Commercial Buildings
AI as an Interface for Commercial BuildingsAI as an Interface for Commercial Buildings
AI as an Interface for Commercial BuildingsMemoori
 
My Hashitalk Indonesia April 2024 Presentation
My Hashitalk Indonesia April 2024 PresentationMy Hashitalk Indonesia April 2024 Presentation
My Hashitalk Indonesia April 2024 PresentationRidwan Fadjar
 
WhatsApp 9892124323 ✓Call Girls In Kalyan ( Mumbai ) secure service
WhatsApp 9892124323 ✓Call Girls In Kalyan ( Mumbai ) secure serviceWhatsApp 9892124323 ✓Call Girls In Kalyan ( Mumbai ) secure service
WhatsApp 9892124323 ✓Call Girls In Kalyan ( Mumbai ) secure servicePooja Nehwal
 
Enhancing Worker Digital Experience: A Hands-on Workshop for Partners
Enhancing Worker Digital Experience: A Hands-on Workshop for PartnersEnhancing Worker Digital Experience: A Hands-on Workshop for Partners
Enhancing Worker Digital Experience: A Hands-on Workshop for PartnersThousandEyes
 
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...Neo4j
 
A Domino Admins Adventures (Engage 2024)
A Domino Admins Adventures (Engage 2024)A Domino Admins Adventures (Engage 2024)
A Domino Admins Adventures (Engage 2024)Gabriella Davis
 
Scaling API-first – The story of a global engineering organization
Scaling API-first – The story of a global engineering organizationScaling API-first – The story of a global engineering organization
Scaling API-first – The story of a global engineering organizationRadu Cotescu
 
04-2024-HHUG-Sales-and-Marketing-Alignment.pptx
04-2024-HHUG-Sales-and-Marketing-Alignment.pptx04-2024-HHUG-Sales-and-Marketing-Alignment.pptx
04-2024-HHUG-Sales-and-Marketing-Alignment.pptxHampshireHUG
 
08448380779 Call Girls In Greater Kailash - I Women Seeking Men
08448380779 Call Girls In Greater Kailash - I Women Seeking Men08448380779 Call Girls In Greater Kailash - I Women Seeking Men
08448380779 Call Girls In Greater Kailash - I Women Seeking MenDelhi Call girls
 
Factors to Consider When Choosing Accounts Payable Services Providers.pptx
Factors to Consider When Choosing Accounts Payable Services Providers.pptxFactors to Consider When Choosing Accounts Payable Services Providers.pptx
Factors to Consider When Choosing Accounts Payable Services Providers.pptxKatpro Technologies
 
IAC 2024 - IA Fast Track to Search Focused AI Solutions
IAC 2024 - IA Fast Track to Search Focused AI SolutionsIAC 2024 - IA Fast Track to Search Focused AI Solutions
IAC 2024 - IA Fast Track to Search Focused AI SolutionsEnterprise Knowledge
 
Slack Application Development 101 Slides
Slack Application Development 101 SlidesSlack Application Development 101 Slides
Slack Application Development 101 Slidespraypatel2
 
Maximizing Board Effectiveness 2024 Webinar.pptx
Maximizing Board Effectiveness 2024 Webinar.pptxMaximizing Board Effectiveness 2024 Webinar.pptx
Maximizing Board Effectiveness 2024 Webinar.pptxOnBoard
 
How to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected WorkerHow to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected WorkerThousandEyes
 
Injustice - Developers Among Us (SciFiDevCon 2024)
Injustice - Developers Among Us (SciFiDevCon 2024)Injustice - Developers Among Us (SciFiDevCon 2024)
Injustice - Developers Among Us (SciFiDevCon 2024)Allon Mureinik
 
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
08448380779 Call Girls In Diplomatic Enclave Women Seeking MenDelhi Call girls
 
08448380779 Call Girls In Friends Colony Women Seeking Men
08448380779 Call Girls In Friends Colony Women Seeking Men08448380779 Call Girls In Friends Colony Women Seeking Men
08448380779 Call Girls In Friends Colony Women Seeking MenDelhi Call girls
 
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmaticsKotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmaticscarlostorres15106
 

Recently uploaded (20)

Transforming Data Streams with Kafka Connect: An Introduction to Single Messa...
Transforming Data Streams with Kafka Connect: An Introduction to Single Messa...Transforming Data Streams with Kafka Connect: An Introduction to Single Messa...
Transforming Data Streams with Kafka Connect: An Introduction to Single Messa...
 
Azure Monitor & Application Insight to monitor Infrastructure & Application
Azure Monitor & Application Insight to monitor Infrastructure & ApplicationAzure Monitor & Application Insight to monitor Infrastructure & Application
Azure Monitor & Application Insight to monitor Infrastructure & Application
 
AI as an Interface for Commercial Buildings
AI as an Interface for Commercial BuildingsAI as an Interface for Commercial Buildings
AI as an Interface for Commercial Buildings
 
My Hashitalk Indonesia April 2024 Presentation
My Hashitalk Indonesia April 2024 PresentationMy Hashitalk Indonesia April 2024 Presentation
My Hashitalk Indonesia April 2024 Presentation
 
WhatsApp 9892124323 ✓Call Girls In Kalyan ( Mumbai ) secure service
WhatsApp 9892124323 ✓Call Girls In Kalyan ( Mumbai ) secure serviceWhatsApp 9892124323 ✓Call Girls In Kalyan ( Mumbai ) secure service
WhatsApp 9892124323 ✓Call Girls In Kalyan ( Mumbai ) secure service
 
Enhancing Worker Digital Experience: A Hands-on Workshop for Partners
Enhancing Worker Digital Experience: A Hands-on Workshop for PartnersEnhancing Worker Digital Experience: A Hands-on Workshop for Partners
Enhancing Worker Digital Experience: A Hands-on Workshop for Partners
 
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...
 
A Domino Admins Adventures (Engage 2024)
A Domino Admins Adventures (Engage 2024)A Domino Admins Adventures (Engage 2024)
A Domino Admins Adventures (Engage 2024)
 
Scaling API-first – The story of a global engineering organization
Scaling API-first – The story of a global engineering organizationScaling API-first – The story of a global engineering organization
Scaling API-first – The story of a global engineering organization
 
04-2024-HHUG-Sales-and-Marketing-Alignment.pptx
04-2024-HHUG-Sales-and-Marketing-Alignment.pptx04-2024-HHUG-Sales-and-Marketing-Alignment.pptx
04-2024-HHUG-Sales-and-Marketing-Alignment.pptx
 
08448380779 Call Girls In Greater Kailash - I Women Seeking Men
08448380779 Call Girls In Greater Kailash - I Women Seeking Men08448380779 Call Girls In Greater Kailash - I Women Seeking Men
08448380779 Call Girls In Greater Kailash - I Women Seeking Men
 
Factors to Consider When Choosing Accounts Payable Services Providers.pptx
Factors to Consider When Choosing Accounts Payable Services Providers.pptxFactors to Consider When Choosing Accounts Payable Services Providers.pptx
Factors to Consider When Choosing Accounts Payable Services Providers.pptx
 
IAC 2024 - IA Fast Track to Search Focused AI Solutions
IAC 2024 - IA Fast Track to Search Focused AI SolutionsIAC 2024 - IA Fast Track to Search Focused AI Solutions
IAC 2024 - IA Fast Track to Search Focused AI Solutions
 
Slack Application Development 101 Slides
Slack Application Development 101 SlidesSlack Application Development 101 Slides
Slack Application Development 101 Slides
 
Maximizing Board Effectiveness 2024 Webinar.pptx
Maximizing Board Effectiveness 2024 Webinar.pptxMaximizing Board Effectiveness 2024 Webinar.pptx
Maximizing Board Effectiveness 2024 Webinar.pptx
 
How to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected WorkerHow to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected Worker
 
Injustice - Developers Among Us (SciFiDevCon 2024)
Injustice - Developers Among Us (SciFiDevCon 2024)Injustice - Developers Among Us (SciFiDevCon 2024)
Injustice - Developers Among Us (SciFiDevCon 2024)
 
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
 
08448380779 Call Girls In Friends Colony Women Seeking Men
08448380779 Call Girls In Friends Colony Women Seeking Men08448380779 Call Girls In Friends Colony Women Seeking Men
08448380779 Call Girls In Friends Colony Women Seeking Men
 
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmaticsKotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
 

Paths and Polynomials

  • 2.
  • 3.
  • 4.
  • 5.
  • 6.
  • 7.
  • 8.
  • 9.
  • 10.
  • 11.
  • 12.
  • 13.
  • 14.
  • 15.
  • 16.
  • 17.
  • 18.
  • 19.
  • 20.
  • 21.
  • 22. Hamiltonian Path has an algorithm that spends O(2n) time and consumes O(2n) space.
  • 23.
  • 24. Walks to the rescue…
  • 25. Walks to the rescue…
  • 26. Walks to the rescue…
  • 27.
  • 28. Adjacency Matrix A[i,j] = 1 iff (i,j) is an edge in G.
  • 29. Adjacency Matrix A[i,j] = 1 iff (i,j) is an edge in G.
  • 30. Adjacency Matrix A[i,j] = 1 iff (i,j) is an edge in G.
  • 31. Adjacency Matrix A[i,j] = 1 iff (i,j) is an edge in G.
  • 32. Adjacency Matrix A[i,j] = 1 iff (i,j) is an edge in G. What is A2[i,j]?
  • 33. Adjacency Matrix A[i,j] = 1 iff (i,j) is an edge in G. What is A2[i,j]?
  • 34. i j Adjacency Matrix A[i,j] = 1 iff (i,j) is an edge in G. What is A2[i,j]?
  • 35. i j Adjacency Matrix A[i,j] = 1 iff (i,j) is an edge in G. What is A2[i,j]?
  • 36. i j Adjacency Matrix A[i,j] = 1 iff (i,j) is an edge in G. What is A2[i,j]?
  • 37. i j Adjacency Matrix A[i,j] = 1 iff (i,j) is an edge in G. What is A2[i,j]?
  • 38. i j Adjacency Matrix A[i,j] = 1 iff (i,j) is an edge in G. What is A2[i,j]?
  • 39. i j Adjacency Matrix A[i,j] = 1 iff (i,j) is an edge in G. What is A2[i,j]?
  • 40. What is A2[i,j] counts the number of common neighbors of i and j.
  • 41. What is A2[i,j] counts the number of common neighbors of i and j. What is Ak[i,j]?
  • 42. What is A2[i,j] counts the number of common neighbors of i and j. What is Ak[i,j]? What is Ak[i,j] counts the number of walks of length k between i and j.
  • 43. We know how to count walks!
  • 44. We know how to count walks! Suppose we now want to count paths.
  • 45. We know how to count walks! Suppose we now want to count paths. Let U be the collection of all Hamiltonian Walks.
  • 46. We know how to count walks! Suppose we now want to count paths. Let U be the collection of all Hamiltonian Walks. Let Ai be the set of walks of length n passing through i.
  • 47. Consider… n X= Ai i=1 Let U be the collection of all Hamiltonian Walks. Let Ai be the set of walks of length n passing through i.
  • 48. Consider… n X=U Ai i=1 Let U be the collection of all Hamiltonian Walks. Let Ai be the set of walks of length n passing through i.
  • 49. Consider… n X=U Ai i=1 Let U be the collection of all Hamiltonian Walks. Let Ai be the set of walks of length n passing through i.
  • 50. Consider… n X=U Ai i=1 Let U be the collection of all Hamiltonian Walks. Let Ai be the set of walks of length n passing through i. The set of walks that avoid i.
  • 51. Consider… n X=U Ai i=1 |Z| |X| = |U| ( 1) Z [n] Ai i Z Let U be the collection of all Hamiltonian Walks. Let Ai be the set of walks of length n passing through i. The set of walks that avoid i.
  • 52. Consider… n X=U Ai i=1 |Z| |X| = |U| ( 1) Z [n] Ai i Z Let U be the collection of all Hamiltonian Walks. Let Ai be the set of walks of length n passing through i. The set of walks that avoid i.
  • 53. Consider… n X=U Ai i=1 |Z| |X| = |U| ( 1) Z [n] Ai i Z Let U be the collection of all Hamiltonian Walks. Let Ai be the set of walks of length n passing through i. The set of walks that avoid i. The set of walks that avoid X.
  • 54. Consider… n X=U Ai i=1 |Z| |X| = |U| ( 1) Z [n] Ai i Z Let U be the collection of all Hamiltonian Walks. Let Ai be the set of walks of length n passing through i. The set of walks that avoid i. The set of walks that avoid X.
  • 55. Polynomial Identity Testing Input: A polynomial p(x). Question: Is p(x) identically zero? (x1 + 3x2 x3 )(3x1 + x4 1) · · · (x7 x2 ) 0?
  • 56. Polynomial Identity Testing Input: A polynomial p(x). Question: Is p(x) identically zero? (x1 + 3x2 x3 )(3x1 + x4 1) · · · (x7 x2 ) 0? Captures several problems, like checking if two polynomials are equal, finding a perfect matching, primality testing, and so on.
  • 57. Basic Idea (x1 + 3x2 x3 )(3x1 + x4 1) · · · (x7 x2 ) Simplifying is expensive, but evaluating is cheap. 0?
  • 58. Basic Idea (x1 + 3x2 x3 )(3x1 + x4 1) · · · (x7 x2 ) Simplifying is expensive, but evaluating is cheap. The probability that a random assignment corresponds to a root is low. 0?
  • 59. Given a (directed) graph G and a number k… ! ! ! Let’s try to construct a polynomial that is zero ! if and only if ! G has a path of length k.
  • 60.
  • 61. x[v1,2 ]x[v2,3 ] · ·2,3 ] · k· x[vk 1,k]y[v2 ] · · · 2 ] · · ·]y[vk ] x[v1,2 ]x[v · x[v· 1,k ]y[v1 1 ]y[v y[vk Edges Vertices
  • 62. x[v1,2 ]x[v2,3 ] · ·2,3 ] · k· x[vk 1,k]y[v2 ] · · · 2 ] · · ·]y[vk ] x[v1,2 ]x[v · x[v· 1,k ]y[v1 1 ]y[v y[vk Edges Vertices We want terms corresponding to walks to cancel out,
  • 63. x[v1,2 ]x[v2,3 ] · ·2,3 ] · k· x[vk 1,k]y[v2 ] · · · 2 ] · · ·]y[vk ] x[v1,2 ]x[v · x[v· 1,k ]y[v1 1 ]y[v y[vk Edges Vertices We want terms corresponding to walks to cancel out, somehow.
  • 65.
  • 66. Evaluate these polynomials over finite fields of characteristic two.
  • 67. Evaluate these polynomials over finite fields of characteristic two. a+a=0
  • 68. x[v1,2 ]x[v2,3 ] · ·2,3 ] · k· x[vk 1,k]y[v2 ] · · · 2 ] · · ·]y[vk ] x[v1,2 ]x[v · x[v· 1,k ]y[v1 1 ]y[v y[vk Edges Vertices
  • 69. x[v1,2 ]x[v2,3 ] · ·2,3 ] · k· x[vk 1,k]y[v2 ] · · · 2 ] · · ·]y[vk ] x[v1,2 ]x[v · x[v· 1,k ]y[v1 1 ]y[v y[vk Edges 1,2 ]x[v2,3 ] · · · x[vk 1,k ]y[v1 ]y[v2 ] · · · y[vk ] Vertices
  • 70. x[v1,2 ]x[v2,3 ] · ·2,3 ] · k· x[vk 1,k]y[v2 ] · · · 2 ] · · ·]y[vk ] x[v1,2 ]x[v · x[v· 1,k ]y[v1 1 ]y[v y[vk Edges 1,2 ]x[v2,3 ] · · · x[vk 1,k ]y[v1 ]y[v2 ] · · · y[vk ] Vertices
  • 71. x[v1,2 ]x[v2,3 ] · ·2,3 ] · k· x[vk 1,k]y[v2 ] · · · 2 ] · · ·]y[vk ] x[v1,2 ]x[v · x[v· 1,k ]y[v1 1 ]y[v y[vk Edges 1,2 ]x[v2,3 ] · · · x[vk 1,k ]y[v1 ]y[v2 ] · · · y[vk ] Vertices
  • 72. x[v1,2 ]x[v2,3 ] · ·2,3 ] · k· x[vk 1,k]y[v2 ] · · · 2 ] · · ·]y[vk ] x[v1,2 ]x[v · x[v· 1,k ]y[v1 1 ]y[v y[vk Edges 1,2 ]x[v2,3 ] · · · x[vk 1,k ]y[v1 ]y[v2 ] · · · y[vk ] 1,2 ]x[v2,3 ] · · · x[vk 1,k ]y[v1 ]y[v2 ] · · · y[vk ] 1,2 ]x[v2,3 ] · · · x[vk 1,k ]y[v1 ]y[v2 ] · · · y[vk ] 1,2 ]x[v2,3 ] · · · x[vk 1,k ]y[v1 ]y[v2 ] · · · y[vk ] 1,2 ]x[v2,3 ] · · · x[vk 1,k ]y[v1 ]y[v2 ] · · · y[vk ] Vertices
  • 73. x[v1,2 ]x[v2,3 ] · ·2,3 ] · k· x[vk 1,k]y[v2 ] · · · 2 ] · · ·]y[vk ] x[v1,2 ]x[v · x[v· 1,k ]y[v1 1 ]y[v y[vk Edges 1,2 ]x[v2,3 ] · · · x[vk 1,k ]y[v1 ]y[v2 ] · · · y[vk ] 1,2 ]x[v2,3 ] · · · x[vk 1,k ]y[v1 ]y[v2 ] · · · y[vk ] 1,2 ]x[v2,3 ] · · · x[vk 1,k ]y[v1 ]y[v2 ] · · · y[vk ] 1,2 ]x[v2,3 ] · · · x[vk 1,k ]y[v1 ]y[v2 ] · · · y[vk ] 1,2 ]x[v2,3 ] · · · x[vk 1,k ]y[v1 ]y[v2 ] · · · y[vk ] Vertices
  • 74.
  • 75. For a walk W, we will dump all these terms into the formula:
  • 76. For a walk W, we will dump all these terms into the formula: :[k] [k] x[v1,2 ]x[v2,3 ] · · · x[vk 1,k ]y[v1 , (1)]y[v2 , (2)] · · · y[vk , (k)]
  • 77. For a walk W, we will dump all these terms into the formula: :[k] [k] x[v1,2 ]x[v2,3 ] · · · x[vk 1,k ]y[v1 , (1)]y[v2 , (2)] · · · y[vk , (k)] Sum this over all walks W:
  • 78. For a walk W, we will dump all these terms into the formula: :[k] [k] x[v1,2 ]x[v2,3 ] · · · x[vk 1,k ]y[v1 , (1)]y[v2 , (2)] · · · y[vk , (k)] Sum this over all walks W: (W, ) W:=v1 ,...,vk
  • 79.
  • 80. This polynomial captures exactly the paths in G, i.e, it is identically zero precisely when G has no paths of length k.
  • 82. (W, ) W:=v1 ,...,vk How do we evaluate this polynomial now?
  • 83. (W, ) W:=v1 ,...,vk How do we evaluate this polynomial now?
  • 84.