Как заполнить эту трассировочную таблицу по псевдокоду?

Question

[aimurat927]

В институте задали заполнить данную трассировочную таблицу по псевдокоду. Я уверен, что имеющийся псевдокод неверен, но преподаватель настаивает на обратном. Помогите, пожалуйста, разрешить вопрос. Подробное объяснение приветствуется! Показываю именно то, что было в задании

Comments

[cicatrix]

Чтобы судить о верности или неверности кода, надо понимать, что он должен делать. Сам по себе код рабочий, но что он должен в итоге сделать - неизвестно.
И непонятна изначальное состояние массивов Items и NewItems. И откуда в таблице взялось 12? Это начальное условие?

[tukreb]

Всё верно там, перепишите псевдо код на язык, на тот же Javascript и заполните таблица полученными ответами.

[aimurat927]

cicatrix, как нам сказали, нужно отталкиваться от 12ти, а после заполнять далее

[cicatrix]

aimurat927, Размерности массивов всё равно не указаны... Предположим, 4.
В общем, даже если 12 - это начальное условие, если не знать содержимое массива Items и предположить, что там все нули, то NewItems изменяться не будет.

Вот, набросал:

static void Main(string[] args)
        {
            int ItemsCount = 4;
            int[] Items = new int[ItemsCount]; // <--- что тут - неизвестно
            int[] NewItems = new int[] {12, 0, 0, 0 }; // Размер предполагаемый
            int NewItemsCount = 1;
            for (int LoopA = 1 ; LoopA < ItemsCount ; LoopA++)
            {
                bool Done = false;
                for (int LoopB = 0 ; LoopB < NewItemsCount ; LoopB++)
                {
                    if (Items[LoopA] == NewItems[LoopB])
                    {
                        Done = true;
                    }
                    Console.WriteLine($"NewItemsCount={NewItemsCount}, LoopA={LoopA}, LoopB={LoopB}, NewItems: [0]={NewItems[0]}, [1]={NewItems[1]}, [2]={NewItems[2]}, [3]={NewItems[3]}.");
                } // endfor
                if (!Done)
                {
                    NewItems[NewItemsCount] = Items[LoopA];
                    NewItemsCount++;
                }
            }
            Console.ReadLine();
        }

Вот вывод:

NewItemsCount=1, LoopA=1, LoopB=0, NewItems: [0]=12, [1]=0, [2]=0, [3]=0.
NewItemsCount=2, LoopA=2, LoopB=0, NewItems: [0]=12, [1]=0, [2]=0, [3]=0.
NewItemsCount=2, LoopA=2, LoopB=1, NewItems: [0]=12, [1]=0, [2]=0, [3]=0.
NewItemsCount=2, LoopA=3, LoopB=0, NewItems: [0]=12, [1]=0, [2]=0, [3]=0.
NewItemsCount=2, LoopA=3, LoopB=1, NewItems: [0]=12, [1]=0, [2]=0, [3]=0.

Answer 1

[Saboteur]

IMHO неправильно, но псевдокод вырвиглазный. Эти стрелочки влево и названия переменных просто не делают глазам больно.

А так, если я правильно понял, у вас LoopA считается от 1 до 3, а LoopB от 0 до 0
Таким образом все сравнения просто некорректны.

Comments

[aimurat927]

то есть, вы хотите сказать, что код неправильный? это я и хочу объяснить преподователю, а он вообще не хочет слушать

[tukreb]

aimurat927, там всё верно, при первом цикле игнорируется вложенный цикл т.к 0 = 0

[Saboteur]

Там неверно. Второй цикл ВСЕГДА идет от 0 до 0, а первый с 1 до 3
И сравнивается index1[1-3] с index2[0]

[Saboteur]

Скажем так. В одних языках это может сработать, в других нет. Зависит от реализации массивов и типов значений.

[Денис Загаевский]

Saboteur, чего бы это? NewItemsCount в дальнейшем инкрементируется.

[Saboteur]

Денис Загаевский, Только в случае, если Items[LoopA] == NewItems[LoopB]
Но у нас есть присваивание значение только NewItems[0]=Items[0], при этом что находится в Items[0] неизвестно, а сравнение идет всегда NewItems[0] с Items[LoopA].

Суть псевдокода - что он всегда понятен, что в нем нет неявных условностей. Чтобы его реализация под любой язык не вызывала двумысленного толкования
А тут как раз и вопросы - что делать, если значение не определено, если идет сравнение объектов или значений? Если идет сравнение значение и не инициализированного значения.

Поэтому в зависимости от языка программирования, могут быть вопросы и ошибки.

[Денис Загаевский]

Saboteur, нет, это не так. Это условие находится внутри цикла.

Answer 2

[Zanak]

Мы перекладываем элементы из Items в Newitems, при условии, что они прежде не встречались (done = false). Чтобы заполнить требуемую табличку нужно знать содержимое Items, потому что оно может быть и [1, 1, 1, 1], тогда в результате получим NewItems = [1], а может и [1, 2, 3, 4], тогда он будет перенесен целиком.
И таки да, если я правильно понимаю псевдокод, то ошибок в нем нет.