Enviar búsqueda
Cargar
Insert 2 Merge
•
0 recomendaciones
•
234 vistas
Yun-Yan Chi
Seguir
Vista de diapositivas
Denunciar
Compartir
Vista de diapositivas
Denunciar
Compartir
1 de 24
Recomendados
Atlanta Briefing Part 1
Atlanta Briefing Part 1
chapel19
Dinive conquer algorithm
Dinive conquer algorithm
Mohd Arif
Insertion and merge sort
Insertion and merge sort
Preetham Devisetty
Advanced Sorting Algorithms
Advanced Sorting Algorithms
Damian T. Gordon
Tezos Taipei Meetup #2 - 15/06/2019
Tezos Taipei Meetup #2 - 15/06/2019
Yun-Yan Chi
Traversing on Algebraic Datatype
Traversing on Algebraic Datatype
Yun-Yan Chi
for "Parallelizing Multiple Group-by Queries using MapReduce"
for "Parallelizing Multiple Group-by Queries using MapReduce"
Yun-Yan Chi
Program Language - Fall 2013
Program Language - Fall 2013
Yun-Yan Chi
Recomendados
Atlanta Briefing Part 1
Atlanta Briefing Part 1
chapel19
Dinive conquer algorithm
Dinive conquer algorithm
Mohd Arif
Insertion and merge sort
Insertion and merge sort
Preetham Devisetty
Advanced Sorting Algorithms
Advanced Sorting Algorithms
Damian T. Gordon
Tezos Taipei Meetup #2 - 15/06/2019
Tezos Taipei Meetup #2 - 15/06/2019
Yun-Yan Chi
Traversing on Algebraic Datatype
Traversing on Algebraic Datatype
Yun-Yan Chi
for "Parallelizing Multiple Group-by Queries using MapReduce"
for "Parallelizing Multiple Group-by Queries using MapReduce"
Yun-Yan Chi
Program Language - Fall 2013
Program Language - Fall 2013
Yun-Yan Chi
Machine X Language
Machine X Language
Yun-Yan Chi
Examples for loopless
Examples for loopless
Yun-Yan Chi
Any tutor
Any tutor
Yun-Yan Chi
Data type a la carte
Data type a la carte
Yun-Yan Chi
Genetic programming
Genetic programming
Yun-Yan Chi
Paper presentation: The relative distance of key point based iris recognition
Paper presentation: The relative distance of key point based iris recognition
Yun-Yan Chi
Deriving a compiler and interpreter for a Multi-level
Deriving a compiler and interpreter for a Multi-level
Yun-Yan Chi
Number System in Haskell
Number System in Haskell
Yun-Yan Chi
Constructing List Homomorphisms from Proofs
Constructing List Homomorphisms from Proofs
Yun-Yan Chi
Más contenido relacionado
Más de Yun-Yan Chi
Machine X Language
Machine X Language
Yun-Yan Chi
Examples for loopless
Examples for loopless
Yun-Yan Chi
Any tutor
Any tutor
Yun-Yan Chi
Data type a la carte
Data type a la carte
Yun-Yan Chi
Genetic programming
Genetic programming
Yun-Yan Chi
Paper presentation: The relative distance of key point based iris recognition
Paper presentation: The relative distance of key point based iris recognition
Yun-Yan Chi
Deriving a compiler and interpreter for a Multi-level
Deriving a compiler and interpreter for a Multi-level
Yun-Yan Chi
Number System in Haskell
Number System in Haskell
Yun-Yan Chi
Constructing List Homomorphisms from Proofs
Constructing List Homomorphisms from Proofs
Yun-Yan Chi
Más de Yun-Yan Chi
(9)
Machine X Language
Machine X Language
Examples for loopless
Examples for loopless
Any tutor
Any tutor
Data type a la carte
Data type a la carte
Genetic programming
Genetic programming
Paper presentation: The relative distance of key point based iris recognition
Paper presentation: The relative distance of key point based iris recognition
Deriving a compiler and interpreter for a Multi-level
Deriving a compiler and interpreter for a Multi-level
Number System in Haskell
Number System in Haskell
Constructing List Homomorphisms from Proofs
Constructing List Homomorphisms from Proofs
Insert 2 Merge
1.
insert 2 merge
Yun-Yan Chi Dec 21, 2011
2.
• insertion sort
2 merge sort • two level nested condition • poslen • transposition! • for each direction (forward and backward) • 4 branches • totally, 8 branches
3.
2
1 0 ?
4.
3
2 1 0
5.
2 ?
1 0
6.
1’
( ? 0’ ) 0
7.
3
1 2 0
8.
forward
9.
10.
if
c1 then if c2 then b1 else b2 else if c2 then b3 else b4
11.
if
c1 then if c2 then b1 else b2 else if c2 then b3 else b4
12.
if
c2 then if c1 then b1 else b3 else if c1 then b2 else b4
13.
14.
if
c1 then if c2 then b1 else b2 else if c2’ then b3 else b4
15.
16.
17.
18.
19.
20.
21.
backward
22.
23.
24.
generalization!