Персистентный стек

@ellozoid · Регистрация: 14.10.2013

Студворк — интернет-сервис помощи студентам

Помогите реализовать персистентный стек, ни где не могу найти нормальной реализации.

@igorrr37 · 12.10.2014, 02:31

по мотивам статьи на хабре

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
#include <iostream>
#include <string>
#include <vector>
#include <stdexcept>
#include <utility>
 
// персистентный стек
template<typename T>
class pstack
{
private:
    struct node;
public:
    pstack()
    {
        root = new node(1);
        last = root;
    }
 
    void push(size_t const num_, T const& val_)// num_ это порядковый номер стека в который делаем push
    {
        if(num_ > last->nums.back())
            throw std::runtime_error("pstack::push failed: num_ > last->nums.back()");
        last = root->push(last->nums.back()+1, num_, val_);
    }
 
    T top(size_t const num_) const// num_ это порядковый  номер стека для которого делаем top
    {
        if(num_ > last->nums.back())
            throw std::runtime_error("pstack::top failed: num_ > last->nums.back()");
        for(auto const num : root->nums)
        {
            if(num_ == num)
                throw std::runtime_error("pstack::top failed: pstack is empty");
        }
        return root->top(num_)->val;
    }
 
    void pop(size_t const num_)
    {
        if(num_ > last->nums.back())
            throw std::runtime_error("pstack::pop failed: num_ > last->nums.back()");
        for(auto const num : root->nums)
        {
            if(num_ == num)
                throw std::runtime_error("pstack::pop failed: pstack is empty");
        }
        last = (root->pop(last->nums.back()+1, num_)).first;
    }
 
    size_t count() const // возвращает количество стеков
    {
        return last->nums.back();
    }
 
    ~pstack()
    {
        delete root;
        root = 0;
        last = 0;
    }
private:
    struct node
    {
        node(size_t const mynum, T const& val_ = T()): val(val_)
        {
            nums.push_back(mynum);
        }
        node* push(size_t const mynum, size_t const num_, T const& val_)
        {
            node* ret = 0;
            bool found = false;// убрать
            for(auto const num : nums)
            {
                if(num_ == num)
                {
                    ret = new node(mynum, val_);
                    ptrs.push_back(ret);
                    found = true;
                    break;
                }
            }
            if(!found)
            {
                for(auto const ptr : ptrs)
                {
                    if(ret = ptr->push(mynum, num_, val_))
                        break;
                }
            }
            return ret;
        }
        node const* top(size_t const num_) const
        {
            node const* ret = 0;
            bool found = false;
            for(auto const num : nums)
            {
                if(num_ == num)
                {
                    ret = this;
                    found = true;
                    break;
                }
            }
            if(!found)
            {
                for(auto const ptr : ptrs)
                {
                    if(ret = ptr->top(num_))
                        break;
                }
            }
            return ret;
        }
        std::pair<node const*, bool> pop (size_t const mynum, size_t const num_)
        {
            std::pair<node const*, bool> ret(0, false);
            for(auto const num : nums)
            {
                if(num_ == num)
                {
                    ret.second = true;
                }
            }
            if(!(ret.second))
            {
                for(auto const ptr : ptrs)
                {
                    ret = ptr->pop(mynum, num_);
                    if(ret.first || ret.second)
                    {
                        break;
                    }
                }
                if(ret.second)
                {
                    nums.push_back(mynum);
                    ret.first = this;
                    ret.second = false;
                }
            }
            return ret;
        }
        ~node()
        {
            for(auto& ptr : ptrs)
            {
                delete ptr;
                ptr = 0;
            }
        }
 
        std::vector<size_t> nums;// порядковые номера стеков для которых данный node является вершиной
        T val;
        std::vector<node*> ptrs;
    private:
        node(const node&);
        node& operator=(node);
    };
    node* root;
    node const* last;// указатель на последний node последнего стека
    pstack(pstack const&);
    pstack& operator=(pstack);
};
 
int main()
{
    pstack<std::string> stk;
    try
    {
        stk.push(1, "222");//2
        stk.push(2, "333");//3
        stk.push(1, "444");//4
        stk.push(3, "555");//5
        stk.pop(5);//6  333
        stk.pop(5);//7  333
        stk.pop(7);//8  222
        stk.pop(8);//9  empty
        stk.push(9, "101010");// 10
        stk.pop(10);//11  empty
        //std::cout << stk.last->nums.back() << '\n';
        std::cout << stk.count();
    }
    catch(std::exception const& e)
    {
        std::cerr << "Exception: " << e.what() << '\n';
    }
    return 0;
}

@Mr.X · 12.10.2014, 06:31

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
/////////////////////////////////////////////////////////////////////////////////////////
//Реализовать персистентный стек.
/////////////////////////////////////////////////////////////////////////////////////////
#include <iostream>
#include <utility>
#include <vector>
//-----------------------------------------------------------------------------------
/////////////////////////////////////////////////////////////////////////////////////////
class T_persistent_stack
{
    //-----------------------------------------------------------------------------------
    typedef size_t                              T_ind;
    typedef int                                 T_val;
    typedef std::pair   < T_ind,    T_val   >   T_ind_val;
    typedef std::vector < T_ind_val         >   T_ind_val_pairs;
    //-----------------------------------------------------------------------------------
    T_ind_val_pairs  ind_val_pairs_;
    //-----------------------------------------------------------------------------------
public:
    //-----------------------------------------------------------------------------------
    static  const   int     EMPTY_IND   =   0;
    static  const   int     FIRST_IND   =   1;
    static  const   int     EMPTY_VAL   =   -1;
    //-----------------------------------------------------------------------------------
    T_persistent_stack()
    {
        ind_val_pairs_.push_back(   T_ind_val( EMPTY_IND,   EMPTY_VAL )     );
        ind_val_pairs_.push_back(   T_ind_val( EMPTY_IND,   EMPTY_VAL )     );
    }
    //-----------------------------------------------------------------------------------
    T_ind   push
        (
            T_ind   ind,
            T_val   val
        )
    {
        bool    bool_res    =   ind_is_correct( ind );
 
        if( bool_res )
        {
            ind_val_pairs_.push_back
                (
                    T_ind_val( ind, val )
                );
 
            return  ind_val_pairs_.size() - 1;
        }//if
 
        return  ind;
    }
    //-----------------------------------------------------------------------------------
    T_val   pop( T_ind  ind )
    {
        bool    bool_res    =   ind_is_correct( ind );
 
        if( bool_res )
        {
            T_ind       ind_prev        =   prev_ind( ind );
            T_ind_val   ind_val_prev    =   ind_val_pairs_[ ind_prev ];
 
            ind_val_pairs_.push_back( ind_val_prev );
            return  top( ind );
        }//if
 
        return  EMPTY_VAL;
    }
    //-----------------------------------------------------------------------------------
    T_val   top( T_ind  ind )
    {
        bool    bool_res    =   ind_is_correct( ind );
 
        if( bool_res )
        {
            return  ind_val_pairs_[ind].second;
        }
 
        return  EMPTY_VAL;
    }
    //-----------------------------------------------------------------------------------
    void    print_content( T_ind   ind )
    {
        if  (
                    ind_is_correct  ( ind )
                &&  top             ( ind )     !=  EMPTY_VAL
            )
        {
            print_content
                (
                    prev_ind( ind )
                );
 
            std::cout   <<  top( ind )
                        <<  '\t';
        }
        else
        {
            std::cout   <<  "EMPTY\t";
        }
    }
    //-----------------------------------------------------------------------------------
    bool    ind_is_correct( T_ind   ind )
    {
        return      ind     >=   FIRST_IND
                &&  ind     <   ind_val_pairs_.size();
    }
    //-----------------------------------------------------------------------------------
    T_ind   prev_ind( T_ind   ind )
    {
        return  ind_is_correct( ind )
                    ?   ind_val_pairs_[ind].first
                    :   EMPTY_IND;
    }
    //-----------------------------------------------------------------------------------
};
/////////////////////////////////////////////////////////////////////////////////////////
int     main()
{
    T_persistent_stack  persistent_stack;
    std::cout   <<  persistent_stack.pop    ( 1000          )   <<  std::endl;
    std::cout   <<  persistent_stack.push   ( 1000, 1000    )   <<  std::endl;
 
    std::cout   <<  persistent_stack.push   ( 1,   5        )   <<  std::endl;
    std::cout   <<  persistent_stack.push   ( 2,   10       )   <<  std::endl;
    std::cout   <<  persistent_stack.push   ( 1,   6        )   <<  std::endl;
    std::cout   <<  persistent_stack.pop    ( 2             )   <<  std::endl;
    std::cout   <<  persistent_stack.pop    ( 3             )   <<  std::endl;
    std::cout   <<  persistent_stack.pop    ( 1             )   <<  std::endl;
 
    std::cout   <<  persistent_stack.pop    ( 1000          )   <<  std::endl;
    std::cout   <<  persistent_stack.push   ( 1000, 1000    )   <<  std::endl;
 
    for (
            int  i  =   persistent_stack.FIRST_IND;
            persistent_stack.ind_is_correct(i);
            ++i
        )
    {
        std::cout   <<  "content for ind "
                    <<  i
                    <<  "\t:\t";
        persistent_stack.print_content(i);
        std::cout   <<  std::endl;
    }//for
 
    system("pause");
}

@ellozoid · 13.10.2014, 13:44 **[ТС]**

Mr.X, igorrr37, спасибо большое, но хабре я находил только одну статью с описанием персистентного стека

@igorrr37 · 13.10.2014, 16:19

ellozoid, у меня реализация через дерево, но я сомневаюсь в производительности. Через массив, вроде, пошустрей будет

Новые блоги и статьи Все статьи Все блоги /
Новый CodeBlocs. Версия 25.03 palva 04.01.2026 Оказывается, недавно вышла новая версия CodeBlocks за номером 25. 03. Когда-то давно я возился с только что вышедшей тогда версией 20. 03. С тех пор я давно снёс всё с компьютера и забыл. Теперь. . .	Модель микоризы: классовый агентный подход anaschu 02.01.2026 Раньше это было два гриба и бактерия. Теперь три гриба, растение. И на уровне агентов добавится между грибами или бактериями взаимодействий. До того я пробовал подход через многомерные массивы,. . .	Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Programma_Boinc 28.12.2025 Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Налог на собак: https:/ / ********/ gallery/ V06K53e Финансовый отчет в Excel: https:/ / ********/ gallery/ bKBkQFf Пост отсюда. . .	Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Programma_Boinc 26.12.2025 Нашел на реддите интересную статью под названием Anyone know where to get a free Desktop or Laptop? Ниже её машинный перевод. После долгих разбирательств я наконец-то вернула себе. . .	Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Programma_Boinc 23.12.2025 Рецензия / Мнение/ Перевод Нашел на реддите интересную статью под названием The Thinkpad X220 Tablet is the best budget school laptop period . Ниже её машинный перевод. Thinkpad X220 Tablet —. . .
PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Как объединить две одинаковые БД Access с разными данными VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.	Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .

@ellozoid 0 / 0 / 0 Регистрация: 14.10.2013 Сообщений: 4

	Персистентный стек 10.10.2014, 23:40. Показов 3453. Ответов 4 Метки нет (Все метки) Помогите реализовать персистентный стек, ни где не могу найти нормальной реализации. 0

@ellozoid 0 / 0 / 0 Регистрация: 14.10.2013 Сообщений: 4
	13.10.2014, 13:44 [ТС]
	Mr.X, igorrr37, спасибо большое, но хабре я находил только одну статью с описанием персистентного стека 0

@igorrr37 2870 / 2017 / 991 Регистрация: 21.12.2010 Сообщений: 3,734 Записей в блоге: 8
	13.10.2014, 16:19
	ellozoid, у меня реализация через дерево, но я сомневаюсь в производительности. Через массив, вроде, пошустрей будет 0

Персистентный стек

Решение